Suchfeld einblenden
Person Kohlhase, Michael
2 Treffer
Seite < 1 >
Mathematical knowledge management
: 4th international conference ; revised selected papers / MKM 2005, Bremen, Germany, July 15 - 17, 2005. Michael Kohlhase (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 3863 : Lecture notes in artificial intelligence)
ISBN 978-3-540-31431-8
Lizenzpflichtig
Quelle: DNB
OMDoc - an open markup format for mathematical documents
/ Michael Kohlhase .... - Version 1.2 - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4180 : Lecture notes in artificial intelligence)
ISBN 978-3-540-37898-3
Lizenzpflichtig
Quelle: DNB
Seite < 1 >
