Asperti, Andrea. <br/><br/>
Mathematical Knowledge Management  Second International Conference, MKM 2003 Bertinoro, Italy, February 16-18, 2003 Proceedings / 
edited by Andrea Asperti, Bruno Buchberger, James Harold Davenport. 
 - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan 
<br/><br/><label>ISBN: </label>9783540364696 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.; Algebra; Database management.; Information storage and retrieval systems.; Artificial intelligence.; Computer science; Computer Science.; Information Storage and Retrieval.; Mathematical Logic and Formal Languages.; Symbolic and Algebraic Manipulation.; Database Management.; Artificial Intelligence (incl. Robotics).; Computational Mathematics and Numerical Analysis.