Explanation-based transformation of logic programs
Edición de la obra Explanation-based transformation of logic programs
| Autor | Henrik Boström |
|---|---|
| Fecha de publicación | 1993 |
| Idioma | inglés |
| Páginas | 178 |
| OCLC | 56479835 |
| Número de Cutter | B747e |
Edición de la obra Explanation-based transformation of logic programs
| Autor | Henrik Boström |
|---|---|
| Fecha de publicación | 1993 |
| Idioma | inglés |
| Páginas | 178 |
| OCLC | 56479835 |
| Número de Cutter | B747e |