Kniha momentálne nie je na sklade
Parametre
Viac o knihe
This text presents an approach to learning search guiding heuristics for the supposition-based theorom prover E. It looks at Term Space Mapping as an alternative learning method for recursive structures, used to learn heuristic evaluation functions for the evaluation of potential new consequences.
Nákup knihy
Learning search control knowledge for equational deduction, Stephan Schulz
- Jazyk
- Rok vydania
- 2000
Akonáhle sa objaví, pošleme e-mail.
Platobné metódy
Nikto zatiaľ neohodnotil.