Mathematical Knowledge Management
Subtitle: 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers (Lecture Notes in Computer Science)
Edition: 1 edition
Publisher: Springer
Published: March 16, 2006
Language: eng
Format: Paperback
Number of pages: 405
ISBN-13: 9783540314301
Subjects: Computing and Information Technology; Networking - General; Computers - General Information; Computers; Computer Books: General; Artificial Intelligence - General; Database Management - General; Computers / Artificial Intelligence; e-learning; formal logic; formal mathematics; interactive algebra; latex; mathematical encoding; mathematical knowledge management; mathematical knowledge representation; mathematical libraries; mathematics retrieval; mathml; Information Storage & Retrieval