History


Help on query formulation
first | previous | 1 | next | last

Result 1 to 2 of 2 total

Practical introduction to artifical intelligence. With sample computer programs in LOGO and LISP. Praktische Einfuehrung in die kuenstliche Intelligenz. Mit Programmbeispielen in LOGO and LISP. (German)
Vaterstetten bei Muenchen: IWT-Verl. 1986. 296 p. [ISBN 3-88322-151-1]
Classification: R48
1
The computer modelling of mathematical reasoning. Computermodelle mathematischer Beweisfuehrung. (English)
London: Academic Press. 1983. 336 p. [ISBN 0-12-141252-0]
Classification: E55 Q35 R25 E39 E59
2
first | previous | 1 | next | last

Result 1 to 2 of 2 total

Valid XHTML 1.0 Transitional Valid CSS!