Skip to content
Same-day shipping9% off: code GIG9
BooksBajar.com
Cover of 9th International Conference on Automated Deduction

9th International Conference on Automated Deduction

Argonne, Illinois, Usa, May 23-26, 1988. Proceedings

by Ewing Lusk, Ross Overbeek

Springer · 2007 · Paperback

₹5,283

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 ₹4,808 for this book (save ₹475).

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

About this book

9th International Conference on Automated Deduction: Argonne, Illinois, Usa, May 23-26, 1988.

The book deals with Logic and Mathematics.

Book details

ISBN-13
9783540193432
ISBN-10
354019343X
Authors
Ewing Lusk, Ross Overbeek
Publisher
Springer
Published
2007
Binding
Paperback
Pages
792
Language
English
Condition
New