|
|
M. Fuchs (1995): Learning Proof Heuristics by Adapting Parameters
| Title: |
Learning Proof Heuristics by Adapting Parameters |
| Author(s): |
M. Fuchs |
| Year: |
1995 |
| Journal: |
Beiträge zum 7. Fachgruppentreffen MASCHINELLES LERNEN der GI-Fachgruppe 1.1.3 |
| Month: |
aug |
| Pages: |
123 - 126 |
Concepts
|
|
