Gao, Xiao-Shan and Wang, Dongming   eds. <br/><br/>
Mathematics mechanization and applications   

 - San Francisco  Academic Press  2000 
 - xix, 551p, Bibl. Index. 
<br/><br/> "Purchased under NBHM grant for the year 2000-2001".   
<br/><br/><label>ISBN: </label>0127347607 
<br/><br/><label>Dewey Class. No.: </label>510.9  / G211.MM