Mathematical Knowledge Management (vol. # 4108) 5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006, Proceedings /
Mathematical Knowledge Management (vol. # 4108) 5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006, Proceedings / [electronic resource] :
edited by Jonathan M. Borwein, William M. Farmer.
- Berlin Heidelberg : Springer-Verlag GmbH., 2006
- viii, 294 p. : ill., digital ; 24 cm.
- Lecture Notes in Computer Science, 4108 0302-9743 ; .
9783540371069 (electronic bk.) 9783540371045 (paper)
Mathematics--Data processing--Congresses.
Information storage and retrieval systems--Mathematics--Congresses.
Automatic theorem proving--Congresses.
QA76.95 / .M56 2006
511.36028563
9783540371069 (electronic bk.) 9783540371045 (paper)
Mathematics--Data processing--Congresses.
Information storage and retrieval systems--Mathematics--Congresses.
Automatic theorem proving--Congresses.
QA76.95 / .M56 2006
511.36028563
