Mathematics mechanization and applications edited Xiao-Shan Gao
Publication details: San Diego: Academic Press 2000Description: xix, 551p. : illISBN: 0127347607Subject(s): AUTOMATIC THEOREM PROVING | EQUATIONS--NUMERICAL SOLUTIONS--DATA PROCESSINGLOC classification: QA 71 Mat| Item type | Home library | Call number | Materials specified | Status | Date due | Barcode |
|---|---|---|---|---|---|---|
MONOGRAPH
|
CBU-MAIN LIBRARY, KITWE. | QA 71 Mat (Browse shelf(Opens below)) | Available | 38951 |
Browsing CBU-MAIN LIBRARY, KITWE. shelves Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
No cover image available | ||
| QA 63 Gro Mathematics in daily life: making decisions and solving problems | QA 63 Mat Mathematical modelling | QA 63 Mat Mathematical modelling | QA 71 Mat Mathematics mechanization and applications | QA 75 Whe Microprocessors and industrial control | QA 76 Ada Computer information systems: an introduction | QA 76 All The Simple computer |
There are no comments on this title.