Higher Order Logic Theorem Proving and Its Applications

Name: Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings
Brand: Springer
SKU: 9783540584506
Price: 5618.00 INR
Availability: InStock

7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings

by Thomas F. Melham, Juanito Camilleri

Springer

₹5,618

Free delivery. Nothing extra to pay at checkout.

New copy. Each book is ordered new from our distributor, Atlantic Books, after you place your order.
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.

From the publisher

This volume presents the proceedings of the 7th International Workshop on Higher Order Logic Theorem Proving and Its Applications held in Valetta, Malta in September 1994. Besides 3 invited papers, the proceedings contains 27 refereed papers selected from 42 submissions. In total the book presents many new results by leading researchers working on the design and applications of theorem provers for higher order logic.

Description supplied by the publisher.