Skip to content
Same-day shipping9% off: code GIG9
BooksBajar
Cover of Automated Reasoning with Analytic Tableaux and Related Methods

Automated Reasoning with Analytic Tableaux and Related Methods

22nd International Conference

by GALMICHE

SPRINGER · 2013

₹3,617

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 ₹3,291 for this book (save ₹326).

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

About this book

Topics covered include Software engineering, Artificial Intelligence (incl. Robotics), Computer science and Logic design.

Book details

ISBN-13
9783642405365
ISBN-10
3642405363
Author
GALMICHE
Publisher
SPRINGER
Published
2013
Edition
Standard Edition
Pages
289
Language
English
Condition
New
Subject
Textbooks & Study Material

More in Textbooks & Study Material