3 works Add another?
Most Editions
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 (incl. Robotics), Artificial intelligence, Automatic theorem proving, Computer science, Logic design, Logic programming, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Programming Languages, Compilers, Interpreters, Programming Techniques, Reasoning, Software engineeringID Numbers
- OLID: OL3096303A
Links outside Open Library
No links yet. Add one?
April 30, 2008 | Created by an anonymous user | initial import |