"vérification formelle." . . "conception logique." . . "TPHOLs (17 : 2004 : Park City, Utah)" . . . "International conference on theorem proving in higher order logics (17. : Park City, Utah, USA : 2004)" . . . "Mathematical Logic and Formal Languages." . . "Logique d'ordre supérieur." . . "Logic Design." . . "TPHOLs <22, 2009, München>" . . . "TPHOLs 2004 (2004 : Park City, Utah)" . . . "International Conference on Theorem Proving in Higher Order Logics (17 : 2004 : Park City, Utah)." . . . "logique ordre élevé" . . "Park City <Utah, 2004>." . . "HOL." . . "Electronic books." . . . . "déduction automatique." . . "Teoremas Demostración automática Congresos." . . . "Theorem proving in higher order logics 17th international conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004 : proceedings"@en . "Theorem proving in higher order logics 17th international conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004 : proceedings" . . "Theorem proving in higher order logics : 17th international conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004 : proceedings" . "Theorem proving in higher order logics : 17th international conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004 : proceedings"@en . . . . . . . . . . . . . . . "Theorem proving in higher order logics : 17th international conference, TPHOLs 2004" . . . "Electronic books"@en . . . "Kongress" . . . . . . "International Conference on Theorem Proving in Higher Order Logics" . "Theorem proving in higher order logics : 17th international conference, TPHOLs 2004, Park City, Utah, September 14 - 17, 2004 ; proceedings" . . . . . . . . . "Theorem proving in higher order logics : 17th international conference ; proceedings" . . . . . "Theorem Proving in Higher Order Logics 17th International Conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004. Proceedings" . . . "Theorem Proving in Higher Order Logics 17th International Conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004. Proceedings"@en . . . . . "This book constitutes the refereed proceedings of the 17th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2004, held in Park City, Utah, USA, in September 2004. The 21 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 42 submissions. Among the topics addressed are theorem proving, verification, inductive types, automated deduction, mechanized proofs, mathematical logic, proof theory, type systems, computability, program verification, ACL, Cop, Isabelle/HOL, recursive functions, integration theory, machine code safety certification, and abstraction."@en . . "Theorem proving in higher order logic 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004 : proceedings" . . . . . . "Conference papers and proceedings" . "Conference papers and proceedings"@en . . . . . . . . . . . . "TPHOLs 2004" . "TPHOLs 2004"@en . . . . "Theorem proving in higher order logics 17th international conference : proceedings" . "17th International Conference on Theorem Proving in Higher Order Logics" . . "Theorem proving in higher order logics 17th international conference, TPHOLs 2004, Park City, Utah, September 14 - 17, 2004 ; proceedings" . . . . . . . . "Theorem Proving in Higher Order Logics 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings" . . . . . . . "Theorem proving in higher order logics : 17th International Conference, TPHOLs 2004 : Park City, Utah, september 14-17, 2004 : proceedings" . . . . . . . . "ISABELLE." . . "fonction récursive." . . "TPHOLs 2004 (17ª. 2004. Park City, Estados Unidos)" . . . "Computer Science." . . "International Conference on Theorem Proving in Higher Order Logics, TPHOLs (17 : 14-09-2004 - 17-09-2004 : Park City, Utah)" . . . "Software Engineering." . . "vérification matériel." . . "démonstration de théorème logique mathématique congrès." . . "Park City (Utah, 2004)" . . "méthode formelle." . . "vérification modèle." . . "démonstrateur théorème." . . "Théorèmes Démonstration automatique Congrès." . . "Automatisches Beweisverfahren." . . "Démonstration automatique de théorèmes." . . "HOL Kongress." . . "logique mathématique." . . "Artificial Intelligence (incl. Robotics)" . . "Logics and Meanings of Programs." . . "Automatisches Beweisverfahren Kongress." . . "COMPUTERS Expert Systems." . . "théorie preuve." . . "Teoremas Demostración automática Congresos En línea." . . "International Workshop on Higher Order Logic Theorem Proving and its Applications." . . .