Imagen de OpenLibrary

Mathematical knowledge management : 4th international conference MKM 2005, Bremen, Germany, July 15-17, 2005 : revised selected papers / Michael Kohlhase (ed.)

Por: Colaborador(es): 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
Tipo de medio:
  • unmediated
Tipo de soporte:
  • volume
ISBN:
  • 9783540314301
Otro título:
  • MKM 2005 [Parte del título]
Tema(s): Clasificación CDD:
  • 510.285  M685m 2006
Recursos en línea:
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.
Existencias
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

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.