|
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
|
|