h y Michael Kohlhase. - Kohlhase, Michael; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2006)
Keywords: Computer science; Algebra -- Data processing; Information storage and retrieval systems; Artificial intelligence; Mathematics; Library science; Computer Science; Artificial Intelligence (incl. Robotics).; Information Storage and Retrieval; Mathematical Logic and Formal Languages; Symbolic and Algebraic Manipulation; Mathematics, general; Library Science