International Conference on Mathematical Knowledge Management  Wokingham, England)  2006 : <br/><br/>
Mathematical knowledge management :  5th international conference, MKM 2006, Wokingham, UK, August 11-12, 2006 : proceedings / 
Jonathan M. Borwein, William M. Farmer (eds.) 
 - Berlin :  Springer,  2006 
 - 294 p. :  ill. ;  24 cm. 
 - Lecture notes in artificial intelligence;  4108 .
<br/><br/><label>ISBN: </label>3540371044 9783540371045 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Mathematics--Data processing--Congresses<br/>Information storage and retrieval systems--Mathematics--Congresses<br/>Automatic theorem proving--Congresses