Born | 1955 |
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?
Born | 1955 |
Subjects
Automatic theorem proving, Computational complexity, Logic programming, Logic, Symbolic and mathematical, Lógica matemática, Programación lógica (Inteligencia artificial), Symbolic and mathematical LogicID Numbers
- OLID: OL228334A
Links (outside Open Library)
No links yet. Add one?
September 7, 2008 | Edited by RenameBot | fix author name |
April 1, 2008 | Created by an anonymous user | initial import |