Het boek is momenteel niet op voorraad
Parameters
Meer over het boek
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.
Een boek kopen
Learning search control knowledge for equational deduction, Stephan Schulz
- Taal
- Jaar van publicatie
- 2000
Zodra we het ontdekt hebben, sturen we een e-mail.
Betaalmethoden
Nog niemand heeft beoordeeld.