2 works Add another?
Most Editions
Most Editions
First Published
Most Recent
Top Rated
Reading Log
Random
Showing all works by author. Would you like to see only ebooks?
Subjects
Artificial intelligence, Automatic theorem proving, Démonstration automatique, Intelligence artificielle, Logic, Symbolic and mathematical, Logique symbolique et mathématique, Symbolic and mathematical Logic, ThéorèmesID Numbers
- OLID: OL6421563A
Links outside Open Library
No links yet. Add one?
November 8, 2008 | Created by ImportBot | Imported from Talis record |