"International Conference on Theorem Proving in Higher Order Logics (TPHOLs) (11 1998.09.27-10.01 Canberra)" . . . "Informatique." . . "théorie type." . . "TPHOLs '96 (9 ; 1996 ; Turku)." . . . "International conference on Theorem proving in higher order logics ((11. : 1998 : Canberra,Australia))" . . . "COQ." . . "Logic Design." . . . . "Lógica simbólica y matemática Congresos." . . "Théorèmes Démonstration automatique Congrès." . . "Logique symbolique et mathématique Congrès." . . "Automatic theorem proving Congresses." . . "Logica." . . "Mathematical Logic and Formal Languages." . . "International Conference on Theorem Proving in Higher Order Logics (11 : 1998 : Canberra)" . . . "International conference on theorem proving in higher order logics (11 : 1998 : Canberra)" . "ISABELLE." . . "Informática Congresos." . . "TPHOLs (9 : 1996.08 : Turku)" . . . . "\"This book constitutes the refereed proceedings of the 9th International Conference on Theorem Proving in Higher Order Logics, TPHOL '96, held in Turku, Finland, in August 1996. The 27 revised full papers included together with one invited paper were carefully selected from a total of 46 submissions. The topics addressed are theorem proving technology, proof automation and decision procedures, mechanized theorem proving, extensions of higher order logics, integration of external tools, novel applications, and others. All in all, the volume is an up-to-date report on the state of the art in this increasingly active field.\"--PUBLISHER'S WEBSITE." . . . . . . . . . . . . . . . . . . . . "Theorem proving in higher order logics : 11th international conference, TPHOLs '98, Canberra, Australia, September 27-October 2, 1998 : proceedings"@en . . . . "TPHOLs'98" . . . "Theorem Proving in Higher Order Logics 11th International Conference, TPHOLs'98 Canberra, Australia September 27-October 1, 1998 Proceedings" . . . . "Theorem proving in higher order logics : 11th International Conference, TPHOLs'98 : Canberra, Australia, September 27-October 1, 1998 : proceedings" . . . . . . . . . . . . . "TPHOLs '98" . "Theorem proving in higher order logics : 9th international conference, TPHOLs '96, Turku, Finland, august 26-30, 1996, proceedings" . . . . "Theorem proving in higher order logics 11th international conference, TPHOLs '98, Canberra, Australia, September 27-October 1, 1998 : proceedings" . . . . "Theorem proving in higher order logics : 11th international conference ; proceedings" . . . . . . . . . "Conference proceedings"@en . . "Theorem proving in higher order logics : 9th International Conference, TPHOL '96, Turku, Finland, August 26-30, 1996 : proceedings"@en . . . . . "Theorem proving in higher order logics : 9th international conference, TPHOLs'96 : Turku, Finland, August 26-30, 1996 : proceedings" . "Theorem proving in higher order logics : 11th international conference" . . . "Theorem proving in higher order logics : 9th international conference, TPHOLs '96, Turku, Finland, August 26-30, 1996 : proceedings" . . . . . . . . . "Theorem proving in higher order logics : 9th international conference ; proceedings" . . . "Theorem Proving in Higher Order Logics 9th International Conference, TPHOLs'96 Turku, Finland, August 26-30, 1996 Proceedings" . . . . "Theorem proving in higher order logics : 9th international conference, TPHOLs'96, Turku, Finland, August 26 - 30, 1996 ; proceedings" . . . . "Theorem proving in higher order logics : 11th international conference, TPHOLs '98, Canberra, Australia, September 27-October 1, 1998 : proceedings" . "Theorem proving in higher order logics : 11th international conference, TPHOLs '98, Canberra, Australia, September 27-October 1, 1998 : proceedings"@en . "Electronic books" . . "Electronic books"@en . . . . . . "Theorem proving in higher order logics" . "Theorem proving in higher order logics"@en . . . . . . . . . "Theorem Proving in Higher Order Logics 11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings" . "Theorem proving in higher order logics : 9th international conference, TPHOLs'96, Turku, Finland, August 26-30, 1996 : proceedings" . . . "TPHOLs '96"@en . "TPHOLs '96" . "TPHOLs'96" . "Kongreß" . "Canberra (1998)" . "Theorem proving in higher order logics : 11th international conference, TPHOLs '98, Canberra, Australia, September 27-October 2, 1997 : proceedings" . . . "Theorem proving in higher order logics : 11th international conference, TPHOLs '98, Canberra, Australia, September 27-October 2, 1997 : proceedings"@en . . "Theorem proving in higher order logics : 11th international conference, TPHOLs '98, Canberra, Australia, September 27-October 2, 1997 proceedings" . . . "Theorem Proving in Higher Order Logics"@en . . . "Congressen (vorm)" . . . . . . . . . . "Turku (1996)"@en . "Turku (1996)" . "Kongress" . "Kongress"@en . "This book constitutes the refereed proceedings of the 9th International Conference on Theorem Proving in Higher Order Logics, TPHOL '96, held in Turku, Finland, in August 1996. The 27 revised full papers included together with one invited paper were carefully selected from a total of 46 submissions. The topics addressed are theorem proving technology, proof automation and decision procedures, mechanized theorem proving, extensions of higher order logics, integration of external tools, novel applications, and others. All in all, the volume is an up-to-date report on the state of the art in this increasingly active field." . "This book constitutes the refereed proceedings of the 9th International Conference on Theorem Proving in Higher Order Logics, TPHOL '96, held in Turku, Finland, in August 1996. The 27 revised full papers included together with one invited paper were carefully selected from a total of 46 submissions. The topics addressed are theorem proving technology, proof automation and decision procedures, mechanized theorem proving, extensions of higher order logics, integration of external tools, novel applications, and others. All in all, the volume is an up-to-date report on the state of the art in this increasingly active field."@en . . . . . "Theorem proving in higher order logics : 11th international conference, TPHOLs '98, Canberra, Australia, September 27 - October 1, 1998 : proceedings" . "Conference papers and proceedings"@en . "Conference papers and proceedings" . . . . . . . . "Theorem proving in higher order logics : 11th international conference, TPHOLs '98, Canberra, Australia, September/October 1998, proceedings"@it . . . "Theorem proving in higher order logics 11th international conference, TPHOLs '98 : Canberra, Australia, September 27 - October 1, 1998 : proceedings" . . . . "Theorem proving in higher order logics 9th international conference, TPHOLs '96, Turku, Finland, August 26-30, 1996 : proceedings"@en . "Theorem proving in higher order logics 9th international conference, TPHOLs '96, Turku, Finland, August 26-30, 1996 : proceedings" . . . . . "This book constitutes the refereed proceedings of the 11th International Conference on Theorem Proving in Higher Order Logics, TPHOLs '98, held in Canberra, Australia, in September/October 1998. The 26 revised full papers presented were carefully reviewed and selected from a total of 52 submissions. Also included are two invited papers. The papers address all current aspects of theorem proving in higher order logics and formal verification and program analysis. Besides the HOL system, the theorem provers Coq, Isabelle, LAMBDA, LEGO, NuPrl, and PVS are discussed." . "Software Engineering." . . "International Conference on Theorem Proving in Higher Order Logics, TPHOLs (9 1996.08.26-30 Turku)" . . . "langage spécification." . . "International Conference on Theorem Proving in Higher Order Logics, TPHOLs (11 : 27-09-1998 - 01-10-1998 : Canberra, Australia)" . . . "TPHOLs '98 (1998 : Canberra, A.C.T.)" . . . "TPHOLs '98 (1998 : Canberra, A.C.T)" . "Logics and Meanings of Programs." . . "langage description matériel." . . "Congressi - Turku - 1996." . . "Automatische bewijsvoering." . . "Automatyczne dowodzenie twierdzeń konferencje." . . "Turku <1996>" . . "Logic, Symbolic and mathematical Congresses." . . "TPHOLs '98. (11 ; 1998 ; Canberra)." . . . "International Conference on Theorem Proving in Higher Order Logics (9 : 1996 : Turku)" . . . "Artificial Intelligence (incl. Robotics)" . . "Computer Science." . . "TPHOLs '96 (1996 : Turku, Finland)" . . . "Logique mathématique." . . "Kongress." . . "International Conference on Theorem Proving in Higher Order Logics (9 1996.08.26-30 Turku)" . . . "TPHOLs (9 1996.08.26-30 Turku)" . . . "démonstration de théorème logique mathématique congrès." . . "démonstration de théorème logique mathématique [congrès]" . "Teoremes Demostració automàtica Congressos." . . "HOL." . . "spécification formelle." . . "démonstration théorème." . . "déduction automatique." . . "méthode formelle." . . "Théorèmes Démonstration automatique Congrès Congrès." . . "Canberra <1998>" . . "International Conference on Theorem Proving in Higher Order Logics 9 Turku, Finland 1996." . . . "Automatisches Beweisverfahren." . . "Dimostrazione automatica di teoremi - Congressi - 1996." . . "Inteligencia artificial." . . "Logique symbolique." . . "Teoremas Demostración automática Congresos." . . "TPHOLs" . . "Démonstration automatique de théorèmes." . . "International Conference on Theorem Proving in Higher Order Logics (11a : 1998 : Canberra, Austràlia)" . . . "logique ordre élevé" . . "logique ordre élevé." .