The Automation of Reasoning with Incomplete Information

Name: The Automation of Reasoning with Incomplete Information: From Semantic Foundations to Efficient Computation
Brand: Springer
SKU: 9783540645153
Price: 5461.00 INR
Availability: InStock

From Semantic Foundations to Efficient Computation

by Torsten Schaub

Springer · 1998 · Paperback

₹5,461

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

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

About this book

The Automation of Reasoning with Incomplete Information: From Semantic Foundations to Efficient Computation is written by Torsten Schaub.It first appeared in 1997. It belongs to the Lecture notes in computer science series.

Its main subjects are Automatic theorem proving, Expert Systems, Automata and Computers.