Gao, Xiao-Shan  <br/><br/>
Mathematics Mechanization and Applications 

 - California  Academic Press  2000 
 - 551p 
<br/><br/><label>ISBN: </label>9780127347608  0.00 
<br/><br/><label>Dewey Class. No.: </label>511.3