7 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, Software engineering, Congresses, Logic design, Artificial Intelligence (incl. Robotics), Automatic theorem proving, Computer science, Computer vision, Electronic data processing, Logic, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Mathematics of Computing, Numeric Computing, RoboticsID Numbers
- OLID: OL3181534A
Links (outside Open Library)
No links yet. Add one?
April 30, 2008 | Created by an anonymous user | initial import |