Stock image for illustration purposes only - book cover, edition or condition may vary.
Theorem Proving in Higher Order Logics
. Ed(S): Bertot, Yves; Dowek, Gilles; Hirschowitz, Andre; Paulin, Christine; Thery, Laurent
€ 69.39
FREE Delivery in Ireland
Description for Theorem Proving in Higher Order Logics
Paperback. The refereed proceedings of the 12th International Conference on Theorem Proving in Higher Order Logics, TPHOLs '99, held in Nice, France, in September 1999. Among the theorem provers evaluated in these 20 revised papers are COQ, HOL, Isabelle, Isabelle/ZF, and OpenMath. Editor(s): Bertot, Yves; Dowek, Gilles; Hirschowitz, Andre; Paulin, Christine; Thery, Laurent. Series: Lecture Notes in Computer Science. Num Pages: 372 pages, biography. BIC Classification: PBW; UFM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 157 x 20. Weight in Grams: 544.
This book contains the proceedings of the 12th International Conference on TheoremProvinginHigherOrderLogics(TPHOLs'99),whichwasheldinNice at the University of Nice-Sophia Antipolis, September 14{17, 1999. Thirty- ve papers were submitted as completed research, and each of them was refereed by at least three reviewers appointed by the program committee. Twenty papers were selected for publication in this volume. Followingawell-establishedtraditioninthisseriesofconferences,anumberof researchers also came to discuss work in progress, using short talks and displays at a poster session. These papers are included in a supplementary proceedings volume. These supplementary proceedings take the form of a book published by INRIA in its series of research reports, under ... Read more
This book contains the proceedings of the 12th International Conference on TheoremProvinginHigherOrderLogics(TPHOLs'99),whichwasheldinNice at the University of Nice-Sophia Antipolis, September 14{17, 1999. Thirty- ve papers were submitted as completed research, and each of them was refereed by at least three reviewers appointed by the program committee. Twenty papers were selected for publication in this volume. Followingawell-establishedtraditioninthisseriesofconferences,anumberof researchers also came to discuss work in progress, using short talks and displays at a poster session. These papers are included in a supplementary proceedings volume. These supplementary proceedings take the form of a book published by INRIA in its series of research reports, under ... Read more
Product Details
Format
Paperback
Publication date
1999
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
372
Condition
New
Series
Lecture Notes in Computer Science
Number of Pages
364
Place of Publication
Berlin, Germany
ISBN
9783540664635
SKU
V9783540664635
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Theorem Proving in Higher Order Logics