Mathematical Knowledge Management 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers - Kohlhase, Michael; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2006)
Keywords: Computer science; Computer Communication Networks; Database management; Information storage and retrieval systems; Information systems; 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