4 works Add another?
Most Editions
Most Editions
First Published
Most Recent
Top Rated
Reading Log
Random
Subjects
Artificial intelligence, Automatic theorem proving, Declarative programming, Expert systems (Computer science), Logic programming, System analysisID Numbers
- OLID: OL12855757A
Links outside Open Library
No links yet. Add one?
May 27, 2023 | Created by MARC Bot | import new book |