Le livre est actuellement en rupture de stock
Paramètres
En savoir plus sur le livre
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.
Achat du livre
Learning search control knowledge for equational deduction, Stephan Schulz
- Langue
- Année de publication
- 2000
Nous vous informerons par e-mail dès que nous l’aurons retrouvé.
Modes de paiement
Personne n'a encore évalué .