4 works Add another?
Sorted by: Most Editions | First Published | Most Recent | Top Rated | Reading Log | Random
Showing ebooks only. Would you like to see everything by this author?
Subjects
Artificial intelligence, Data processing, Automatic theorem proving, Catalogs, Computer programming, Computer programs, Computer science, Computer software, Ecology, Ecology, data processing, Logic, Symbolic and mathematical, Mathematics, Robotics, Simulation methods, Symbolic and mathematical LogicID Numbers
- OLID: OL541699A
Links (outside Open Library)
No links yet. Add one?
August 29, 2008 | Edited by RenameBot | fix author name |
April 1, 2008 | Created by an anonymous user | initial import |