9 works Add another?
Sorted by:
Most Editions
|
First Published
|
Most Recent
|
Top Rated
|
Reading Log
|
Random
Showing all works by author. Would you like to see only ebooks?
Subjects
Automatic theorem proving, Artificial intelligence, Computer programming, Electronic digital computers, programming, Applied, Applied Mathematics, Artificial Intelligence - General, Computer programs, Computer science, Computers - General Information, Démonstration automatique, General, Intelligence artificielle, Knowledge-based systems / expert systems, Kunstmatige intelligentie, Mathematics, Otter (Computer file), Programmation (Informatique), Puzzles, Reasoning, Science/Mathematics, ThéorèmesID Numbers
- OLID: OL527524A
Links (outside Open Library)
No links yet. Add one?
August 29, 2008 | Edited by RenameBot | fix author name |
April 1, 2008 | Created by an anonymous user | initial import |