2 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
Automatic theorem proving, Books and reading, Bus070060, Computer algorithms, Cs.cmp_sc.app_sw, Cs.ecn.indus_organ, Digital media, Electronic books, Electronic publishing, General, Logic, Symbolic and mathematical, Media & communications, Publishers and publishing, Readers, Symbolic and mathematical Logic, Technological innovationsID Numbers
- OLID: OL416626A
Links (outside Open Library)
No links yet. Add one?
September 2, 2008 | Edited by RenameBot | fix author name |
April 1, 2008 | Created by an anonymous user | initial import |