2 works Add another?
Most Editions
Most Editions
First Published
Most Recent
Top Rated
Reading Log
Trending
Random
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 |