Mechanizing Mathematical Reasoning Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday - Hutter, Dieter; Stephan, Werner; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2005)
Keywords: Computer science; Software engineering; Artificial intelligence; Logic, Symbolic and mathematical; Computer Science; Artificial Intelligence (incl. Robotics).; Mathematical Logic and Formal Languages; Software Engineering; Mathematical Logic and Foundations