Mathematical knowledge management
Subtitle: 4th international conference, MKM 2005, Bremen, Germany, July 15-17, 2005 ; revised selected papers
By: Michael Kohlhase (ed.).
Contributors: Kohlhase, Michael, 1964-
Series: Lecture notes in computer science -- 3863. -- Lecture notes in artificial intelligence; Lecture notes in computer science -- 3863.; Lecture notes in computer science
Publisher: Springer
Published: 2006
Place of publication: Berlin; New York
Language: eng
Number of pages: 403
Subjects: Mathematics -- Data processing -- Congresses.; Information storage and retrieval systems -- Mathematics -- Congresses.; Automatic theorem proving -- Congresses.
Genres: Congresses.
Other titles: MKM 2005.
Notes: Includes bibliographical references and index.

Also issued online.