Skip to content
Free delivery across IndiaCash on delivery
BooksBajar
Cover of Interactive Theorem Proving

Interactive Theorem Proving

7th International Conference, Proceedings: 9807

by Jasmin Christian Blanchette, Stephan Merz

Springer Nature · 2016 · Paperback

₹4,258

Free delivery. Nothing extra to pay at checkout.

  • 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.

About this book

Interactive Theorem Proving: 7th International Conference, Proceedings: 9807 is written by Jasmin Christian Blanchette & Stephan Merz. This paperback edition from Springer Nature (2016) has 502 pages.

The book deals with Automatic theorem proving.

Book details

ISBN-13
9783319431437
ISBN-10
3319431439
Authors
Jasmin Christian Blanchette, Stephan Merz
Publisher
Springer Nature
Published
2016
Edition
1st ed. 2016
Binding
Paperback
Pages
502
Language
English
Condition
New
Subject
Computers & Internet

More by Jasmin Christian Blanchette and related titles

See all