Feature-based learning method for theorem proving

Proceedings of the National Conference on Artificial Intelligence

Volumn , Issue , 1998, Pages 457-462

  Fuchs, Matthias ^a  

^a AUSTRALIAN NATIONAL UNIVERSITY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

HEURISTIC METHODS; LEARNING SYSTEMS; PROBLEM SOLVING; THEOREM PROVING;

FEATURE BASED LEARNING; SEARCH GUIDING HEURISTICS;

ARTIFICIAL INTELLIGENCE;

EID: 0031641903     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (21)