3 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?
-
Logic for Programming Artificial Intelligence and Reasoning Lecture Notes in Artificial Intelligence
Subjects
Artificial intelligence, Automatic theorem proving, Computer science, Congresses, Logic design, Logic programming, Models and modelmaking, Sat (educational test), Software engineeringID Numbers
- OLID: OL7336799A
Links (outside Open Library)
No links yet. Add one?
October 14, 2016 | Created by Mek | Added new book. |