Normal view MARC view ISBD view

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 ; .

ISBN: 9783540371069 (electronic bk.) 9783540371045 (paper)

Subjects--Topical Terms:
Mathematics--Data processing--Congresses.
Information storage and retrieval systems--Mathematics--Congresses.
Automatic theorem proving--Congresses.

LC Class. No.: QA76.95 / .M56 2006

Dewey Class. No.: 511.36028563

Print
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)

Mathematical Knowledge Management (vol. # 4108) 5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006, Proceedings /

Contact Us

Copyright ©The National University of Malaysia Library