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 science, Congresses, Environmental policy, Logic design, Logic, symbolic and mathematical, Software engineering, ZoologyPlaces
AlaskaID Numbers
- OLID: OL6432699A
Links (outside Open Library)
No links yet. Add one?
November 10, 2008 | Created by ImportBot | Imported from Talis record |