Skip to content
Same-day shipping9% off: code GIG9
BooksBajar
Cover of Theorem Proving in Higher Order Logics

Theorem Proving in Higher Order Logics

14th International Conference

by Richard J. Boulton, Paul B. Jackson

Springer · 2001 · Paperback

₹5,718

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,218 for this book (save ₹500).

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

About this book

Theorem Proving in Higher Order Logics: 14th International Conference is written by Richard J. Boulton & Paul B. Jackson.

Topics covered include Congresses, Automatic theorem proving, Symbolic and mathematical Logic and Artificial intelligence.

Book details

ISBN-13
9783540425250
ISBN-10
354042525X
Authors
Richard J. Boulton, Paul B. Jackson
Publisher
Springer
Published
2001
Edition
1 edition
Binding
Paperback
Pages
395
Language
English
Condition
New
Subject
Mathematical theory of computation

More in Mathematical theory of computation