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