Overview

This volume constitutes the proceedings of the 18th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2005), which was held during22-25August2005inOxford,UK.TPHOLscoversallaspectsoftheorem proving in higher order logics as well as related topics in theorem proving and veri?cation. There were 49 papers submitted to TPHOLs 2005 in the full research c- egory, each of which was refereed by at least three reviewers selected by the programcommittee. Of these submissions, 20 researchpapersand 4 proof pearls were accepted for presentation at the conference and publication in this volume. In keeping with longstanding tradition, TPHOLs 2005 also o?ered a venue for the presentation of work in progress, where researchers invited discussion by means of a brief introductory talk and then discussed their work at a poster session. A supplementary proceedings volume was published as a 2005 technical report of the Oxford University Computing Laboratory. The organizers are grateful to Wolfgang Paul and Andrew Pitts for agreeing to give invited talks at TPHOLs 2005.
ISBN-13

9783540283720

ISBN-10

3540283722

Weight

1.31 Pounds

Dimensions

6.10 x 0.96 x 9.25 In

List Price

$54.99

Edition

1st Edition

Format

Paperback

Language

English

Pages

x, 414 pages

Publisher

Springer

Published On

2005-08-08


View All Offers

Sort by:

Condition
Seller
Seller Comments
Price
✨ Brand New
Seller details
Alibris
★★★★★

Sparks, NV, USA

Trade paperback (US). Glued binding. 414 p.
$58.73

 Free delivery by: 01 Apr 2026

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.
$61.02

 Free delivery by: 01 Apr 2026

Used, Like New
Seller details
GreatBookPrices-
★★★★☆

Columbia, MD, USA

100% Money Back Guarantee. Brand New, Perfect Condition. We offer expedited shipping to all US locat...
$69.31

 Free delivery by: 01 Apr 2026


Bookstores.com relies on cookies to improve your experience.