3 works Add another?
Most Editions
Most Editions
First Published
Most Recent
Top Rated
Reading Log
Random
Subjects
Congresses, Automatic theorem proving, Nonclassical mathematical logic, Symbolic and mathematical Logic, Artificial Intelligence - General, Artificial intelligence, Automata, Computer Logic, Computer Science, Computer science, Computers, Computers, congresses, Logic, Logic, Symbolic and mathematic, Logic, Symbolic and mathematical, Logic, symbolic and mathematical, Mathematical logic, Mathematical theory of computation, Mathematics, Nonclassical mathematical logi, Science/MathematicsID Numbers
- OLID: OL3181926A
Links outside Open Library
No links yet. Add one?
April 30, 2008 | Created by an anonymous user | initial import |