4 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
Software engineering, Computer science, Computer-aided design, Electronic data processing, Artificial Intelligence - General, Artificial intelligence, Automatic theorem proving, Computer Books: General, Computer Science, Computer logic, Computers, Computers - General Information, Computers / Artificial Intelligence, Computers / Computer Science, Computers-Programming - Software Development, Congresses, Expert systems (Computer scien, Expert systems (Computer science), Expert systems (computer science), Formal Language Theory, Formal methods (Computer scien, Formal methods (Computer science), General, Knowledge-based systems / expert systems, Logic designID Numbers
- OLID: OL2785014A
Links (outside Open Library)
No links yet. Add one?
April 29, 2008 | Created by an anonymous user | initial import |