Open Library beta
Log in
Search Results
    More search options

There are 9 matching records. Show: List / Covers

full text
Not available   9
authors
Michael Thielscher   1
Pawel Urzyczyn   1
Peter J. Stuckey   1
Samson Abramsky   1
subjects
deduction   [x]
Computers   8
Programming - General   6
Programming Languages - General   5
Computer Science   4
Computers / Artificial Intelligence   4
publication date
2000–now   8
pre-1920   1
languages
English   9
publishers
Springer   9
Typed Lambda Calculi and Applications by Pawel Urzyczyn
Springer, December 31, 1899 Paperback
Reasoning, Action and Interaction in AI Theories and Systems
Springer, October 5, 2006 Paperback
Challenges for Action Theories (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence) by Michael Thielscher
Springer, May 19, 2000 Paperback
Logic Programming
Springer, October 26, 2005 Paperback
Computational Learning Theory
Springer, August 15, 2002 Paperback
Typed Lambda Calculi and Applications by Samson Abramsky
Springer, May 18, 2001 Paperback
Logic Programming
Springer, April 23, 2007 Paperback
Proof Theory in Computer Science
Springer, December 6, 2001 Paperback
Logic Programming by Peter J. Stuckey
Springer, September 17, 2002 Paperback
Can't find the book you are searching for? Add a new book.
Search = 0.19 sec; Presentation = 0.00 sec