Mathematical Knowledge Management: 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers (Lecture Notes in Computer Science (3863), Band 3863)

Mathematical

von Michael Kohlhase

Taschenbuch

ISBN: 978-3-540-31430-1

ISBN-10: 3-540-31430-X

Springer Berlin Heidelberg · 2008