Mathematical knowledge management 5th international conference, MKM 2006, Wokingham, UK, August 11-12, 2006 : proceedings International Conference on Mathematical Knowledge Management Wokingham, England) 2006 creator Balcázar, José Luis Lin, Fangzhen Wang, Ju text gw Berlin Springer 2006 monographic eng
print
294 p. : ill. ; 24 cm. specialized Jonathan M. Borwein, William M. Farmer (eds.) Mathematics Data processing Congresses Information storage and retrieval systems Mathematics Congresses Automatic theorem proving Congresses Lecture notes in artificial intelligence; 4108 3540371044 9783540371045 UMP 080118 20251117144442.0 vtls000023609