1 work Add another?
Showing all works by author. Would you like to see only ebooks?
Subjects
Automatic theorem proving, Automation, Automatisches Beweisverfahren, Congresses, Congrès, Démonstration automatique, Inteligencia artificial (computacao), Kunstmatige intelligentie, Logischer Schluss, Redeneren, ThéorèmesID Numbers
- OLID: OL4063265A
Links (outside Open Library)
No links yet. Add one?
April 30, 2008 | Created by an anonymous user | initial import |