|
|
Kodratoff, Y. (1986): Learning Expert Knowledge and Theorem Proving
| Title: |
Learning Expert Knowledge and Theorem Proving |
| Author(s): |
Kodratoff, Y. |
| Year: |
1986 |
| Booktitle: |
German Workshop on Artificial Intelligence GWAI--86 und 2.\ Österreichische AI--Tagung |
| Editor(s): |
Claus--Rainer Rollinger and Werner Horn |
| Number: |
124 |
| Pages: |
164-180 |
| Publisher: |
Springer |
| Address: |
Berlin u.a. |
Concepts
|
|
