Born | 1938 |
10 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?
Born | 1938 |
Subjects
Artificial intelligence, Automatic theorem proving, Computers - General Information, Symbolic and mathematical Logic, Artificial Intelligence - General, Automatentheorie, Automatisches Beweisverfahren, Beweis (Mathematik), Computer programming, Computer programs, Computer software, Computers / Artificial Intelligence, Conception logiciel, Congresses, Development, Démonstration automatique, Développement, Développement logiciel, Expert Systems, Génie logiciel, Informatique théorique, Inférence inductive, Logic, Logic Design, Logic, symbolic and mathematicalID Numbers
- OLID: OL1099193A
Links (outside Open Library)
No links yet. Add one?
August 19, 2008 | Edited by an anonymous user | fix author name |
April 1, 2008 | Created by an anonymous user | initial import |