Theorem proving in higher order logics : 11th international conference, TPHOLs '98, Canberra, Australia, September 27-October 1, 1998 : 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 submiss...

Mô tả đầy đủ

Chi tiết về thư mục

Tác giả của công ty:	International conference on theorem proving in higher order logics :Canberra
Tác giả khác:	Grundy, Jim, 1968- (Giám đốc xuất bản), Newey, Malcolm, 19..- (Giám đốc xuất bản)
Định dạng:	Livre numérique
Ngôn ngữ:	Anglais
Được phát hành:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Loạt:	Lecture notes in computer science 1479
Những chủ đề:	Génie logiciel Informatique Intelligence artificielle Logique symbolique et mathématique Théorèmes > Démonstration automatique Structure logique Actes de congrès
Truy cập trực tuyến:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Chú thích:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Theorem proving in higher order logics, 11th international conference, TPHOLs '98, Canberra, Australia, September 27-October 1, 1998, proceedings, Jim Grundy, Malcolm Newey, eds, 1998, Berlin, Springer, 1 vol. (VIII-496 p.), Lecture notes in computer science, 3-540-64987-5 • Theorem Proving in Higher Order Logics, Texte imprimé, 9783662212592