Leaning search control knowlledge for equational deduction
Edición de la obra Leaning search control knowlledge for equational deduction
| Autor | Stephan Schulz |
|---|---|
| Editorial | AKA |
| Fecha de publicación | 2007 |
| Lugar | Berlin |
| Idioma | inglés |
| Páginas | 182 |
| ISBN-10 | 3898382303, 1586031503 |
| LCCN | 2007440965 |
| Serie | Dissertationen zur künstlichen Intelligenz -- 230 |
| Número de Cutter | S389l |