Mathematical Knowledge Management 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Kohlhase, Michael (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
• Series: Lecture Notes in Computer Science, 3863
• Subjects: Computer science.; Computer communication systems.; Database management.; Information storage and retrieval.; Artificial intelligence.; Mathematics.; Computer Science.; Artificial Intelligence (incl. Robotics).; Computer Communication Networks.; Database Management.; Information Storage and Retrieval.; Information Systems Applications (incl. Internet).; Mathematics, general.

This volume contains the proceedings of the Fourth International Conference on Mathematical Knowledge Management MKM 2005 held July 15–17, 2005 at - ternational University Bremen, Germany. Previous conferences have been at the Research Institute for Symbolic Computation (RISC) Linz, Austria (Septemb...