0
Your cart

Your cart is empty

Browse All Departments
  • All Departments
Price
  • R1,000 - R2,500 (1)
  • -
Status
Brand

Showing 1 - 1 of 1 matches in All Departments

Theorem Proving in Higher Order Logics - 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005,... Theorem Proving in Higher Order Logics - 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings (Paperback, 2005 ed.)
Joe Hurd, Tom Melham
R1,637 Discovery Miles 16 370 Ships in 10 - 15 working 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."

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Fly Repellent ShooAway (White)(3 Pack)
R1,047 R837 Discovery Miles 8 370
Ticket To Paradise
George Clooney, Julia Roberts, … DVD  (1)
R113 Discovery Miles 1 130
Mission Impossible 7 - Dead Reckoning…
Tom Cruise Blu-ray disc R571 Discovery Miles 5 710
Pest Magic Insect Repelent (Pack of 2)
 (2)
R316 Discovery Miles 3 160
Elecstor 18W In-Line UPS (Black)
R999 R404 Discovery Miles 4 040
Tenet
John David Washington, Robert Pattinson Blu-ray disc  (1)
R52 Discovery Miles 520
Red Elephant Horizon Backpack…
R486 Discovery Miles 4 860
This Is Why
Paramore CD R148 R138 Discovery Miles 1 380
Mother's Choice Baby Mink Blanket Bear
R899 R699 Discovery Miles 6 990
Deadpool 2 - Super Duper Cut
Ryan Reynolds Blu-ray disc R52 Discovery Miles 520

 

Partners