Logics of programs : workshop, Yorktown Heights, New York, May 1981 / edited by Dexter Kozen
Logics of programs : workshop, Yorktown Heights, New York, May 1981 / edited by Dexter Kozen - - Berlin Springer-Verlag, 1982 - vi,429 p. 24 cm - .
3-540-11212-X1
Logic programming-Congresses
681.3.06 Log:81