Skip to content
Same-day shipping9% off: code GIG9
BooksBajar
Cover of Artificial Intelligence, Automated Reasoning, and Symbolic Computation

Artificial Intelligence, Automated Reasoning, and Symbolic Computation

Joint International Conferences

by Jacques Calmet, Belaid Benhamou, Olga Caprotti

‎ Springer Nature · 2002 · Paperback

₹5,554

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

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

About this book

It belongs to the Lecture notes in computer science series.

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

Book details

ISBN-13
9783540438656
ISBN-10
3540438653
Authors
Jacques Calmet, Belaid Benhamou, Olga Caprotti
Publisher
‎ Springer Nature
Published
2002
Series
Lecture notes in computer science
Edition
‎ 2002nd
Binding
Paperback
Pages
341
Language
English
Condition
New
Subject
Medical & Health Sciences