5 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 software, Computers - General Information, Expert Systems, Logic, Logic, symbolic and mathematical, Logische Programmierung, Philosophy / Logic, Programming - Software Development, Symbolic and mathematical LogicID Numbers
- OLID: OL2784346A
Links (outside Open Library)
No links yet. Add one?
April 29, 2008 | Created by an anonymous user | initial import |