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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Kohlhase, Michael (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
• Σειρά: Lecture Notes in Computer Science, 3863
• Θέματα: 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...