Computing in Horn clause theories
- Författare
- Peter Padawitz
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer-Vlg | cop. 1988 | Tyskland, Berlin, New York | xi, 322 sidor. : ill. | 0-387-19427-4, 3-540-19427-4 |