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

Automated Reasoning with Analytic Tableaux and Related Methods

International Conference

by Marta Cialdea Mayer, Fiora Pirri

Springer · 2003 · Paperback

₹5,612

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

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

About this book

The book is part of the Lecture notes in computer science series.

Its main subjects are Congresses, Automatic theorem proving, Artificial intelligence and Productivity.

Book details

ISBN-13
9783540407874
ISBN-10
3540407871
Authors
Marta Cialdea Mayer, Fiora Pirri
Publisher
Springer
Published
2003
Series
Lecture notes in computer science
Edition
1 edition
Binding
Paperback
Pages
271
Language
English
Condition
New
Subject
AI & Intelligent Systems

More in AI & Intelligent Systems