Theorem Proving in Higher Order Logics

Name: Theorem Proving in Higher Order Logics: 20th International Conference
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
SKU: 9783540745907
Price: 4259.00 INR
Availability: InStock

20th International Conference

by TPHOLs 2007 (2007 Kaiserslautern, Germany)

Springer-Verlag Berlin and Heidelberg GmbH & Co. K · 2007

₹4,259

Free delivery. Nothing extra to pay at checkout.

Delivery in 3–7 days to any serviceable pincode in India, with tracking.
Cash on delivery. Pay when the parcel reaches you.
15-day returns. See what qualifies.

About this book

Theorem Proving in Higher Order Logics: 20th International Conference by Germany) TPHOLs 2007 (2007 Kaiserslautern is a 404-page book published by Springer-Verlag Berlin and Heidelberg GmbH & Co. K in 2007.

Its main subjects are Congresses, Automatic theorem proving, Logic design and Artificial intelligence.