Extensions of Logic Programming
Roy Dyckhoff, Heinrich Herre, Peter Schroeder-Heister
₹5,539
Automated Reasoning with Analytic Tableaux and Related Methods
International Conference
by Roy Dyckhoff
Springer-Verlag Berlin and Heidelberg GmbH & Co. K · 2000 · Paperback
₹5,111
Free delivery. Nothing extra to pay at checkout.
- Delivery in 3–7 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns. See what qualifies.
About this book
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference by Roy Dyckhoff is a 440-page paperback edition published by Springer-Verlag Berlin and Heidelberg GmbH & Co. K in 2000. It belongs to the Lecture notes in computer science series.
Topics covered include Congresses, Automatic theorem proving, Artificial intelligence and High level programming languages.
Book details
- ISBN-13
- 9783540676973
- ISBN-10
- 354067697X
- Author
- Roy Dyckhoff
- Published
- 2000
- Series
- Lecture notes in computer science
- Edition
- 2000 ed.
- Binding
- Paperback
- Pages
- 440
- Language
- English
- Condition
- New
- Subject
- Artificial intelligence
More by Roy Dyckhoff and related titles
Extensions of Logic Programming
Roy Dyckhoff
₹5,561
Man Overboard
J. A. Jance
₹3,880
In-Depth Understanding
Michael George Dyer
₹3,558
Advanced and Intelligent Computations in Diagnosis and Control
Zdzisław Kowalczuk
₹7,774
Reference and Anaphoric Relations
Urs Egli
₹4,337
Live Data Structures in Logic Programs
Anne Mulkers
₹5,492
Intelligence and Artificial Intelligence
Ulrich Ratsch, Ion-olimpiu Stamatescu, Michael M. Richter
₹8,228
Software Engineering and Formal Methods
George Eleftherakis, Mike Hinchey, Mike Holcombe
₹4,263
Distributed Artificial Intelligence
Chengqi Zhang, Dickson Lukose
₹5,583
Artificial Intelligence and Internet of Things
Lalit Mohan Goyal
₹14,494
Artificial Intelligence
Kevin Warwick
₹2,936