Higher Order Logic Theorem Proving and Its Applications

Name: Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop
Brand: Springer
SKU: 9783540584506
Price: 5618.00 INR
Availability: InStock

7th International Workshop

by Thomas F. Melham, Juanito Camilleri

Springer · 1994 · Paperback

₹5,618

Free delivery. Nothing extra to pay at checkout.

Delivery in 3–5 days to any serviceable pincode in India, with tracking.
Cash on delivery. Pay when the parcel reaches you.
15-day returns.
Express shipping. Same-day dispatch (Monday to Saturday), delivered all over India in 3–5 days.

Offer

Use code GIG9 at checkout and pay ₹5,118 for this book (save ₹500).

9% off every book, up to ₹500 off per order.

About this book

Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop is written by Thomas F. Melham & Juanito Camilleri.The book is part of the Lecture notes in computer science series.

The book deals with Congresses, Automatic theorem proving, Mathematical logic and Mathematical theory of computation.