Items related to Theorem Proving in Higher Order Logics: 11th International...
Theorem Proving in Higher Order Logics: 11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings: 1479 (Lecture Notes in Computer Science, 1479) - Softcover
Synopsis
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.
"synopsis" may belong to another edition of this title.
Product Description
Theorem Proving in Higher Order Logics These 28 papers present the refereed proceedings of an international conference on theorem proving in higher order logics. They address all aspects of theorem proving in higher order logics, formal verification and program analysis, and also discuss Coq, Isabelle, LAMBDA, LEGO, NuPrl and PVS. Full description
"About this title" may belong to another edition of this title.
- PublisherSpringer
- Publication date1998
- ISBN 10 3540649875
- ISBN 13 9783540649878
- BindingPaperback
- LanguageEnglish
- Number of pages505
- EditorGrundy Jim, Newey Malcolm
Search results for Theorem Proving in Higher Order Logics: 11th International...
Seller Image
Theorem Proving in Higher Order Logics : 11th International Conference, Tphols '98, Canberra, Australia, September 27-October 2, 1997 : Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 918008-n
Quantity: Over 20 available
Stock Image
Theorem Proving in Higher Order Logics: 11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings (Lecture Notes in Computer Science, 1479)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783540649878_new
Quantity: Over 20 available
Seller Image
Theorem Proving in Higher Order Logics : 11th International Conference, Tphols '98, Canberra, Australia, September 27-October 2, 1997 : Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 918008
Quantity: Over 20 available
Stock Image
Theorem Proving in Higher Order Logics - 11th International Conference, T P H O Ls*98, Canberra, Australia, September 27-October 2, 1998, Proceedings
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Seller Inventory # ABNR-157898
Quantity: 1 available
Stock Image
Theorem Proving in Higher Order Logics - 11th International Conference, T P H O Ls*98, Canberra, Australia, September 27-October 2, 1998, Proceedings
Seller: Basi6 International, Irving, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Seller Inventory # ABEJUNE24-341181
Quantity: 1 available
Seller Image
Theorem Proving in Higher Order Logics : 11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings
Published by
Springer Berlin Heidelberg, 1998
ISBN 10: 3540649875
ISBN 13: 9783540649878
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Seller Inventory # 9783540649878
Quantity: 1 available
Seller Image
Theorem Proving in Higher Order Logics : 11th International Conference, Tphols '98, Canberra, Australia, September 27-October 2, 1997 : Proceedings
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 918008-n
Quantity: Over 20 available
Stock Image
Theorem Proving in Higher Order Logics
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. pp. 516 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. Seller Inventory # 5856022
Quantity: 1 available
Seller Image
Theorem Proving in Higher Order Logics : 11th International Conference, Tphols '98, Canberra, Australia, September 27-October 2, 1997 : Proceedings
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 918008
Quantity: Over 20 available
Stock Image
Theorem Proving in Higher Order Logics
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 516. Seller Inventory # 263073225
Quantity: 1 available