Logics of programs : workshop, Yorktown Heights, New York, May 1981 / edited by Dexter Kozen
Language: English Series: Publication details: Berlin ; Springer-Verlag, ; 1982Edition: Description: vi,429 p; 24 cmISBN: 3-540-11212-X1Subject(s): | Logic programming-CongressesItem type | Current library | Call number | Status | Notes | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
![]() |
Central Library, IITB Compact Storage - Basement Area | 681.3.06 Log:81 | Available | G55B08 | 115797 |
Total holds: 0
There are no comments on this title.