Theorem Proving in Higher Order Logics
Format: Paperback
ISBN13: 9783540615873
Paperback|9783540615873
✨ Featured Offer
Used, Good
$39.99
List Price: $99.00
🚚
See all 1 offers from $39.99 FREE standard delivery by: 02 Apr 2026
Overview
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.
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.
| ISBN-13 | 9783540615873 |
|---|---|
| ISBN-10 | 3540615873 |
| Weight | 1.35 Pounds |
| Dimensions | 6.50 x 1.25 x 9.75 In |
| List Price | $99.00 |
| Edition | 1st Edition |
| Format | Paperback |
|---|---|
| Language | English |
| Pages | viii, 447 pages |
| Publisher | New York, NY, U.S.A. Springer-Verlag New York, Incorporated . |
| Published On | 1996-08-07 |
View All Offers
Sort by:
Price
Condition
Seller
Seller Comments
Price
✨ Used, Good
Seller details
Bonita
Santa Clarita, CA, USA
Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Free delivery by: 02 Apr 2026