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