Track My Order
Help Centre
1300 187 187
Likes
My Wish ListsLogin / Join
Booktopia
Australia's local bookstore
Theorem Proving in Higher Order Logics : 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings - Joe Hurd

Theorem Proving in Higher Order Logics

18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings

By: Joe Hurd (Editor), Tom Melham (Editor)

Paperback | 8 August 2005

At a Glance

Paperback

$84.99

or 4 interest-free payments of $21.25 with

 or 

Aims to ship in 7 to 10 business days

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.

You Can Find This Book In

Non-FictionComputing & I.T.Computer ScienceArtificial IntelligenceMathematicsMathematical FoundationMathematical LogicComputer Architecture & Logic DesignComputer Programming & Software DevelopmentSoftware EngineeringMathematical Theory of Computation

More in Mathematical Logic

Limits and Derivatives of Real Functions for Physicists - Nicolas A. Pereyra

Limits and Derivatives of Real Functions for Physicists

Hardcover

RRP $194.00

$193.75

Cryptography for Payment Professionals - Ilya Dubinsky

Cryptography for Payment Professionals

Paperback

RRP $105.00

$88.75

15%
OFF
The Univalence Principle - Benedikt Ahrens

The Univalence Principle

Paperback

RRP $197.00

$177.50

10%
OFF

This product is categorised by