Learning Search Control Knowledge for Equational Deduction
Edición de la obra Learning Search Control Knowledge for Equational Deduction
| Autor | S. Schulz |
|---|---|
| Editorial | Ios Pr Inc |
| Fecha de publicación | August 2000 |
| Idioma | inglés |
| Páginas | 186 |
| Formato | Paperback |
| ISBN-13 | 9781586031503 |
| ISBN-10 | 1586031503 |
| OCLC | 233026468 |
| Serie | Dissertations in Artificial Intelligence-Infix, 230 |
| Número de Cutter |