El libro está agotado actualmente
Parámetros
Más información sobre el libro
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.
Compra de libros
Learning search control knowledge for equational deduction, Stephan Schulz
- Idioma
- Publicado en
- 2000
Te avisaremos por correo electrónico en cuanto lo localicemos.
Métodos de pago
Nadie lo ha calificado todavía.