Das Buch ist derzeit nicht auf Lager
Parameter
Mehr zum Buch
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.
Buchkauf
Learning search control knowledge for equational deduction, Stephan Schulz
- Sprache
- Erscheinungsdatum
- 2000
Wir benachrichtigen dich per E-Mail.
Lieferung
- Gratis Versand in ganz Österreich
Zahlungsmethoden
Keiner hat bisher bewertet.