3 works Add another?
Sorted by: Most Editions | First Published | Most Recent | Top Rated | Reading Log | Random
Showing all works by author. Would you like to see only ebooks?
Subjects
Artificial intelligence, Automatic theorem proving, Computer networking & communications, Computer programming / software development, Discrete mathematics, Mathematical foundations, Programming & scripting languages: general, Proof theoryID Numbers
- OLID: OL389874A
Links (outside Open Library)
No links yet. Add one?
September 2, 2008 | Edited by RenameBot | fix author name |
April 1, 2008 | Created by an anonymous user | initial import |