Vyhledávat v databázi titulů je možné dle ISBN, ISSN, EAN, č. ČNB, OCLC či vlastního identifikátoru. Vyhledávat lze i v databázi autorů dle id autority či jména.
Projekt ObalkyKnih.cz sdružuje různé zdroje informací o knížkách do jedné, snadno použitelné webové služby. Naše databáze v tuto chvíli obsahuje 3152121 obálek a 950676 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.
Mathematical knowledge management :4th international conference, MKM 2005, Bremen, Germany, July 15-17, 2005 : revised selected papers
Rok: c2006
ISBN: 9783540314301
OKCZID: 110041264
Citace (dle ČSN ISO 690):
KOHLHASE, Michael, ed. Mathematical knowledge management: 4th international conference, MKM 2005, Bremen, Germany, July 15-17, 2005 : revised selected papers. Berlin: Springer, c2006. xi, 403 s. Lecture notes in computer science. Lecture notes in artificial intelligence, 3863.
Anotace
This book constitutes the thoroughly refereed post-proceedings of the 4th International Conference on Mathematical Knowledge Management, MKM 2005, held in Bremen, Germany in July 2005. The 26 revised full papers presented were carefully selected during two rounds of reviewing and improvement from 38 submissions. The papers in this volume cover the whole area of mathematical knowledge management. Topics range from foundations and the representational and document-structure aspects of mathematical knowledge, over process questions like authoring, migration, and consistency management by automated theorem proving to applications in e-learning and case studies.