TY  - BOOK
AU  - Kohlhase,Michael
ED  - MKM 2005 
TI  - Mathematical knowledge management : : 4th international conference MKM 2005, Bremen, Germany, July 15-17, 2005 : revised selected papers / 
T2  - Lecture Notes in Computer Science. Lecture Notes in Artificial Intelligence
SN  - 9783540314301
U1  - 510.285  
PY  - 2006///
CY  - Berlin : 
PB  - Springer , 
KW  - Matemáticas
KW  -  Procesamiento de datos
KW  -  Congresos
KW  - Sistemas de almacenamiento y recuperación de información
KW  - Inteligencia artificial
N1  - Incluye índice; ISSN 0302-9743; Session I: foundations. -- Session II: authoring. -- Session III: representations. -- Session IV: proving. -- Session V: MKManagement tools. -- Session VI: documents. -- Session VII: MKM Case studies. -- Session VIII: Course materials. -- Session IX: Migration.
UR  - http://www.bib.ufro.cl/libros/500/Contenido/a35582.pdf
ER  -