"Théorèmes Démonstration automatique Congrès." . . "Kaiserslautern <2007>" . . "International Conference on Theorem Proving in Higher Order Logics, TPHOLs (20 : 10-09-2007 - 13-09-2007 : Kaiserslautern, Germany)" . . . "Logic programming." . . "Computer Science" . . "Computer Science." . "Mathematical Logic and Formal Languages" . . "Mathematical Logic and Formal Languages." . "HOL." . . "TPHOLs <20, 2007, Kaiserslautern>" . . . "Logic Design" . . "Logic Design." . "Automatic theorem proving." . . "Automatisches Beweisverfahren." . . "Programmation logique Congrès." . . "Artificial Intelligence (incl. Robotics)" . . "TPHOLs 2007 (2007 : Kaiserslautern, Germany)" . . . "TPHOLs <20, 2007, Kaiserslautern>" . . "TPHOLs. <20, 2007, Kaiserslautern>." . "Démonstration automatique de théorèmes." . . "Programmation logique." . . "Logique d'ordre supérieur." . . "Logics and Meanings of Programs" . . "Logics and Meanings of Programs." . "Théorèmes Démonstration automatique." . . "Software Engineering" . . "Software Engineering." . . . . "Conference papers and proceedings" . "Conference papers and proceedings"@en . . . . . . . . . . . . "Theorem proving in higher order logics : 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10 - 13, 2007; proceedings" . . . . . "Theorem Proving in Higher Order Logics 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings" . "Theorem Proving in Higher Order Logics" . . . "Online-Publikation" . "Conference proceedings" . . "Ressources Internet" . . . . . "Theorem proving in higher order logics 20th international conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007 ; proceedings / Klaus Schneider, Jens Brandt (eds.)" . . . . . . . . "Theorem proving in higher order logics : 20th international conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007 ; proceedings"@en . "Theorem proving in higher order logics 20th international conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007 ; proceedings"@en . "Theorem proving in higher order logics 20th international conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007 ; proceedings" . . . . . . . . "Electronic books"@en . "Electronic books" . "Theorem proving in higher order logics : 20th international conference ; proceedings" . . . . . . . . . . . . . "Theorem Proving in Higher Order Logics 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings" . "Theorem Proving in Higher Order Logics 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings"@en . "Theorem proving in higher order logic 20th International Conference, TPHOLS 2007, Kaiserslautern, Germany, September 10-13, 2007 : proceedings" . . . . . . . . . "Theorem proving in higher order logics 20th international conference ; proceedings" . . . "TPHOLs 2007"@en . "TPHOLs 2007" . "Kongress" . . . "Electronic books." . . "International Conference on Theorem Proving in Higher Order Logics (20 : 2007 : Kaiserslautern, Allemagne)." . . . "Informatique." . .