Computing in Horn clause theories
Edición de la obra Computing in Horn clause theories
| Autor | Peter Padawitz |
|---|---|
| Editorial | Springer-Verlag |
| Fecha de publicación | 1988 |
| Lugar | Berlin, New York |
| Idioma | inglés |
| Páginas | 322 |
| ISBN-10 | 0387194274 |
| OCLC | 18136211 |
| LCCN | 88020024 |
| Serie | EATCS monographs on theoretical computer science ; · v. 16 |
| Número de Cutter | P123c |