Logics of programs : workshop, ETH Zurich, May-July, 1979 / edited by Erwin Engeler
Logics of programs : workshop, ETH Zurich, May-July, 1979 / edited by Erwin Engeler - - Berlin Springer-Verlag, 1981 - 245 p. 24 cm - .
3-540-11160-30
Logic programming-Congresses
681.3.06 Log:79