Logic programming : operational semantics and proof theory
Language: English Series: Publication details: ; Cambridge : Cambridge University Press, 1992 ; 1992Edition: Description: xi,104 p; 24 cmISBN: 0-521-43219-72Subject(s): | Logic programmingItem type | Current library | Call number | Status | Notes | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
Books | Central Library, IITB | 681.3.06 And | Available | G54B38 | 166710 |
Total holds: 0
There are no comments on this title.