Mathematics mechanization and applications edited Xiao-Shan Gao

By: Gao, Xiao-ShanContributor(s): Wang, DongmingPublication details: San Diego: Academic Press 2000Description: xix, 551p. : illISBN: 0127347607Subject(s): AUTOMATIC THEOREM PROVING | EQUATIONS--NUMERICAL SOLUTIONS--DATA PROCESSINGLOC classification: QA 71 Mat
Tags from this library: No tags from this library for this title.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Home library Call number Materials specified Status Date due Barcode
MONOGRAPH MONOGRAPH CBU-MAIN LIBRARY, KITWE.
QA 71 Mat (Browse shelf(Opens below)) Available 38951

There are no comments on this title.

to post a comment.