Computing in horn clause theories by Peter Padawitz
Material type: BookSeries: EATCS monographs on theoretical computer science ; Publication details: Berlin Springer verlag 1988Description: xi, 322pISBN:- 3540194274
- 511.3 N883
Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Book | JRD Tata Memorial Library | 511.3 N883 (Browse shelf(Opens below)) | Available | 139027 |
There are no comments on this title.