Open Library beta
Log in
Search Results
    More search options

There are 21 matching records. Show: List / Covers

full text
Not available   21
authors
Floriana Esposito   1
Howard J. Hamilton   1
Peter Baumgartner   1
Ralf Küsters   1
Roy Dyckhoff   1
subjects
AI Logics   [x]
Artificial Intelligence - General   21
Computers   21
Computers / Artificial Intelligence   20
General   18
Congresses   17
publication date
2000–now   17
1980-1999   4
languages
English   21
publishers
Springer   21
Progress in Artificial Intelligence
Springer, October 18, 1999 Paperback
KI-98: Advances in Artificial Intelligence
Springer, October 30, 1998 Paperback
KI-99: Advances in Artificial Intelligence
Springer, September 29, 1999 Paperback
Advances in Artificial Intelligence by Howard J. Hamilton
Springer, June 16, 2000 Paperback
Advances in Artificial Intelligence
Springer, November 27, 2000 Paperback
Advances in Artificial Intelligence - IBERAMIA 2002
Springer, December 5, 2002 Paperback
Topics in Artificial Intelligence
Springer, December 5, 2002 Paperback
Advances in Artificial Intelligence
Springer, December 5, 2002 Paperback
Logic for Programming, Artificial Intelligence, and Reasoning
Springer, November 11, 2002 Paperback
Logic for Programming, Artificial Intelligence, and Reasoning
Springer, December 18, 2001 Paperback
AI 2001: Advances in Artificial Intelligence
Springer, December 18, 2001 Paperback
Automated Reasoning with Analytic Tableaux and Related Methods by Roy Dyckhoff
Springer, July 26, 2000 Paperback
Computational Logic: Logic Programming and Beyond
Springer, August 26, 2002 Paperback
AI*IA 2001: Advances in Artificial Intelligence by Floriana Esposito
Springer, October 16, 2001 Paperback
Theory Reasoning in Connection Calculi (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence) by Peter Baumgartner
Springer, December 28, 1998 Paperback
Logic for Programming and Automated Reasoning
Springer, November 27, 2000 Paperback
Automated Reasoning with Analytic Tableaux and Related Methods
Springer, September 17, 2002 Paperback
Non-Standard Inferences in Description Logics by Ralf Küsters
Springer, September 6, 2001 Paperback
Logics in Artificial Intelligence
Springer, October 28, 2002 Paperback
KI 2001: Advances in Artificial Intelligence
Springer, October 16, 2001 Paperback


More results:  1  2  NEXT >
Can't find the book you are searching for? Add a new book.
Search = 0.21 sec; Presentation = 0.00 sec