01004nam a2200301 a 4500 9780127347608 (hardback) NUST NUST MAIN QA218 MAT Mathematics mechanization and applications/ edited by Xiao-Shan Gao and Dongming Wang. San Diego : Academic Press , 2000. xix, 551 pages : illustrations ; 27 cm. text txt rdacontent unmediated n rdamedia volume nc rdacarrier Includes index. Includes bibliographical references. Automatic theorem proving. Equations Numerical solutions Data processing. Programming (Mathematics). Gao, Xiao-Shan., editor. Wang, Dongming., editor. .b10400710 13-07-21 09-04-21 20230123141212.0 BOOKS QA218 MAT 169434 169434 2023-01-23 00:00:00 0 QA218 MAT 92004047027 80.00 2023-01-23 BOOKS 0 LCC 0 0 NFIC 0 MAIN MAIN GEN 2023-01-23 80.00