Shelfclass_id | 4.B.3 |
Sortkey | PADAWITZ, PETER |
Authors | Peter Padawitz |
Title | Computing in Horn Clause Theories |
Publisher | Springer Pub. Co. |
Year | c1988 |
Languages | eng |
Isbn | 0387194274 |
Series | EATCS monographs on theoretical computer science |
Volume | 16 |
Description | xi, 322 p. ill. 26 cm. |
Record date | 20070430 |
Location | New York |
Keywords | Logic programming, Horn clauses |
Notes | Includes indexes. |