Higher Order Logic Theorem Proving and Its Applications (English, Thomas F. Melham | Juanito Camilleri)
by Thomas F. Melham | Juanito Camilleri
Delivery options
₹5,618
100% Genuine Book · Verified Seller
Free Shipping · Ships Today💵 COD Available📦 Delivery in 3-4 days
Available Offers
Free Delivery — Ships same day. Delivery in 3-4 business days.
15-Day Easy Returns — hassle-free return & full refund.
Secure Payment — 100% safe checkout with UPI, Cards & Net Banking.
Total: ₹5,618
Book Details
Publisher
Springer
Language
English
ISBN-13
9783540584506
ISBN-10
3540584501
Author
Thomas F. Melham | Juanito Camilleri
About the Book
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. In particular, this book give…
ISBN: 9783540584506
ISBN-13: 9783540584506
ISBN-10: 3540584501
Frequently Asked Questions
What is the price of Higher Order Logic Theorem Proving and Its Applications?
Higher Order Logic Theorem Proving and Its Applications starts from ₹5618 at BookBajar. Available in Paperback. This is one of the best prices available online in India.
Who is the author of Higher Order Logic Theorem Proving and Its Applications?
Thomas F. Melham | Juanito Camilleri is the author of Higher Order Logic Theorem Proving and Its Applications. Browse more books by Thomas F. Melham | Juanito Camilleri on BookBajar.
Is Higher Order Logic Theorem Proving and Its Applications available in Paperback and Hardcover?
Yes, Higher Order Logic Theorem Proving and Its Applications is available in Paperback on BookBajar. Select your preferred format on the product page.
Does BookBajar offer free delivery for Higher Order Logic Theorem Proving and Its Applications?
Yes, BookBajar offers free delivery for Higher Order Logic Theorem Proving and Its Applications across India. No minimum order value required.
Is Cash on Delivery available for Higher Order Logic Theorem Proving and Its Applications?
Yes, Cash on Delivery (COD) is available for Higher Order Logic Theorem Proving and Its Applications on BookBajar. You can pay when your order is delivered.
Product ID: isbn-9783540584506
🛒 Customers Also Bought
Der Gedanke Der Internationalen Organisation in Seiner Entwicklung (English, Jacob Ter Meulen)
₹4,168
Narzißmus Und Primärbeziehung (English, Guntram Knapp)
₹5,075
Fallrepetitorium Völkerrecht (English, Ralph Czarnecki | Edgar Lenski)
₹2,363
1952/53 (English, Gustav A. Theel)
₹3,960
Automated Guided Vehicle Systems (English, Günter Ullrich | Paul A. Kachur)
₹4,129
Die Neugestaltung Des Internationalen Rechts (English, D. Josephus Jitta)
₹4,124Related Products
Introduction to Dynamics of Structures and Earthquake Engineering- (45) (English, Cimellaro)
₹5,572
Gerichtliche Medizin (English, Berthold Mueller)
₹4,171
Fishes of the Dakotas (English, Kathryn E. Schlafke | Matthew D. Wagner | Chelsey A. Pasbrig)
₹3,883
Problem-Solving Methods in Combinatorics (English, Pablo Soberón)
₹4,211
Formal Category Theory (English, J. W. Gray)
₹3,979