Logics of programs : workshop, ETH Zurich, May-July, 1979 / edited by Erwin Engeler
Language: English Series: Publication details: Berlin ; Springer-Verlag, ; 1981Edition: Description: 245 p; 24 cmISBN: 3-540-11160-30Subject(s): | Logic programming-CongressesItem type | Current library | Call number | Status | Notes | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
Books | Central Library, IITB Compact Storage - Basement Area | 681.3.06 Log:79 | Available | C19B13 | 114353 |
Total holds: 0
There are no comments on this title.