TY  - BOOK
AU  - Borwein,Jonathan M.
AU  - Farmer,William M.
ED  - MKM 2006
ED  - SpringerLink (Online service)
TI  - Mathematical Knowledge Management (vol. # 4108): 5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006, Proceedings 
SN  - 9783540371069 (electronic bk.)
AV  - QA76.95 .M56 2006
U1  - 511.36028563 22
PY  - 2006///
CY  - Berlin Heidelberg
PB  - Springer-Verlag GmbH.
KW  - Mathematics
KW  - Data processing
KW  - Congresses
KW  - Information storage and retrieval systems
KW  - Automatic theorem proving
UR  - https://eresourcesptsl.ukm.remotexs.co/user/login?url=http://dx.doi.org/http://dx.doi.org/10.1007/11812289
ER  -