Mathematical knowledge management : 4th international conference MKM 2005, Bremen, Germany, July 15-17, 2005 : revised selected papers / Michael Kohlhase (ed.)
Idioma: Inglés Series Lecture Notes in Computer Science. Lecture Notes in Artificial Intelligence ; no. 3863 Berlin : Springer , 2006Descripción: xi, 403 páginas : ilustracionesTipo de contenido:- text
- unmediated
- volume
- 9783540314301
- MKM 2005 [Parte del título]
- 510.285 M685m 2006
Contenidos:
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.
| Tipo de ítem | Biblioteca actual | Colección | Signatura topográfica | Copia número | Estado | Fecha de vencimiento | Código de barras | |
|---|---|---|---|---|---|---|---|---|
| Libros | Biblioteca Central Estantería | General | 510.285 M685m 2006 (Navegar estantería(Abre debajo)) | c.1 | Disponible | 35605001944969 | ||
| Libros | Biblioteca Central Estantería | General | 510.285 M685m 2006 (Navegar estantería(Abre debajo)) | c.2 | Disponible | 35605001944976 |
Navegando Biblioteca Central estanterías, Ubicación en estantería: Estantería, Colección: General Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
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.