Computing in horn clause theories
Language: English Series: Publication details: Berlin ; Springer-Verlag, ; 1988Edition: Description: xi,322 p; 24 cmISBN: 1Subject(s): | Logic programming | Horn clausesItem type | Current library | Call number | Status | Notes | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
Books | Central Library, IITB | 517.1:681.3.06 Pad | Available | G10A18 | 152430 |
Total holds: 0
There are no comments on this title.