Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

DPD courier 4.99 € GLS courier 9.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Theorem Proving in Higher Order Logics

Name: Theorem Proving in Higher Order Logics
Brand: Springer, Berlin
SKU: 01559777
Price: 51.66 EUR
Availability: InStock
Author: Konrad Slind
ISBN: 9783540230175

17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings

Konrad Slind

Annette Bunker

Ganesh C. Gopalakrishnan

Language

English

Book Paperback

Libristo code: 01559777

Publishers Springer, Berlin, November 2003

This book constitutes the refereed proceedings of the 17th International Conference on Theorem Provi... Full description

Libristo code: 01559777

125 b

51.66 €

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Торговый хаос Bill Williams

Paperback

20.31 €

This book constitutes the refereed proceedings of the 17th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2004, held in Park City, Utah, USA, in September 2004.The 21 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 42 submissions. Among the topics addressed are theorem proving, verification, inductive types, automated deduction, mechanized proofs, mathematical logic, proof theory, type systems, computability, program verification, ACL, Cop, Isabelle/HOL, recursive functions, integration theory, machine code safety certification, and abstraction.