-
Order Details
1
-
Confirm
2
Article Details
- Journal Title
- Journal of Applied Mathematics
- Volume
- 2014
- Article Title
- Formalization of Function Matrix Theory in HOL
- List of Authors
-
- Zhenke Liu
- Yong Guan
- Shiwei Ye
- Jie Zhang
- Hongxing Wei
- Article ID
- 201214
- Article Type
- Research Article
- No. of Pages
- 10 Pages
- Additional Authors
Invoice Details
- Invoice Issue Date
- 27 April 2024
- Type of Reprints
- Colored, Covered
- Invoice Ref. No.
- Terms
- Payable upon Receipt
Charges
- No. of Copies
- Reprints Charges
- 0.00
- Total
- $