| Born | 1946 |
2 works Add another?
Most Editions
Most Editions
First Published
Most Recent
Top Rated
Reading Log
Trending
Random
| Born | 1946 |
Subjects
Congresses, Artificial intelligence, Automatic theorem proving, Computer science, Data structures (Computer science), Frames (Information theory), Logic, Logic programming, Logic, symbolic and mathematical, Mathematics, Programming languages (Electronic computers), Semantics, Symbolic and mathematical LogicID Numbers
- OLID: OL7577825A
Links outside Open Library
No links yet. Add one?
| July 6, 2019 | Created by MARC Bot | import new book |