Higher Order Logic Theorem Proving and Its Applications (English, Jeffrey J. Joyce | Carl-Johan H. Seger)
by Jeffrey J. Joyce | Carl-Johan H. Seger
Delivery options
₹5,642
Genuine Book · Tracked Delivery
Free Shipping · Dispatched in 1–2 days💵 COD Available📦 Delivery in 3-4 days
Available Offers
Free Delivery — Dispatched in 1–2 business days. Most orders delivered in 3–12 business days.
15-Day Easy Returns — hassle-free return & full refund.
Secure Payment — 100% safe checkout with UPI, Cards & Net Banking.
Total: ₹5,642
Book Details
Publisher
Springer
Language
English
ISBN-13
9783540578260
ISBN-10
3540578269
Author
Jeffrey J. Joyce | Carl-Johan H. Seger
About the Book
This volume constitutes the refereed proceedings of the 1993 Higher-Order Logic User's Group Workshop, held at the University of British Columbia in August 1993. The workshop was sponsored by the Centre for Integrated Computer System Research. It was the sixth in the series of annual international workshops dedicated to the topic of Higher-Order Logic theorem proving, its usage in the HOL system, and its applications. The volume contains 40 paper…
ISBN: 9783540578260
ISBN-13: 9783540578260
ISBN-10: 3540578269
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 ₹5642 at GlowMirror. Available in Paperback.
Who is the author of Higher Order Logic Theorem Proving and Its Applications?
Jeffrey J. Joyce | Carl-Johan H. Seger is the author of Higher Order Logic Theorem Proving and Its Applications. Browse more books by Jeffrey J. Joyce | Carl-Johan H. Seger on GlowMirror.
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 GlowMirror. Select your preferred format on the product page.
Does GlowMirror offer free delivery for Higher Order Logic Theorem Proving and Its Applications?
Yes, GlowMirror 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 GlowMirror. You can pay when your order is delivered.
Product ID: isbn-9783540578260
🛒 Customers Also Bought
Der Keynesianismus II (English, G. Bombach | H. -J Ramser | M. Timmermann)
₹4,601
Chandragupta Maurya: The Creation of a National Hero in India (English, Paperback, Sushma Jansari)
₹2,640
Guide to RISC Processors (English, Sivarama P. Dandamudi)
₹3,749
Fachlexikon Toxikologie (English, Karlheinz Lohs | Peter Elstner | Peter Elstner)
₹2,779
User-Centered Agile Methods (English, Hugh Beyer)
₹2,143
Uncertainty Analysis for Engineers and Scientists (English, Faith A. Morrison)
₹5,273Related Products
Laserspektroskopie 1 (English, Wolfgang Demtröder)
₹5,756
L-Functions (English, Davide Lombardo)
₹4,175
Die Bodenmechanik in Der Baupraxis (English, K. Terzaghi | A. Bley | R. B. Peck)
₹4,748
Intermediate Dynamics (English, R. a. Howland)
₹3,873
Einführung in Die Constraint-Programmierung (English, Petra Hofstedt | Armin Wolf)
₹2,155