Meta-programming in logic : third international workshop, META-92 : proceedings, Uppsala, Sweden, June 10-12, 1992 / edited by A. Pettorossi
Language: English Series: Lecture notes in computer science ; v.649Publication details: ; Berlin : Springer-verlag, 1992 ; 1992Edition: Description: xii,351 p; 24 cmISBN: 3-540-56282-60Subject(s): | Logic, Symbolic and mathematical-Congresses | Logic programming-CongressesItem type | Current library | Call number | Status | Notes | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
Books | Central Library, IITB | 681.3:517.1 Met:3:92 | Available | C19A23 | 166678 |
Total holds: 0
There are no comments on this title.