TY  - BOOK
AU  - International Conference on Mathematical Knowledge Management
AU  - Balcázar,José Luis
AU  - Lin,Fangzhen
AU  - Wang,Ju
TI  - Mathematical knowledge management: 5th international conference, MKM 2006, Wokingham, UK, August 11-12, 2006 : proceedings 
SN  - 3540371044
PY  - 2006///
CY  - Berlin
PB  - Springer
KW  - Mathematics
KW  - Data processing
KW  - Congresses
KW  - Information storage and retrieval systems
KW  - Automatic theorem proving
ER  -