Logics of programs and their applications : proceedings, Poznan, Aug. 23-29, 1980 / edited by A. Salwicki
Logics of programs and their applications : proceedings, Poznan, Aug. 23-29, 1980 / edited by A. Salwicki - - Berlin Springer-Verlag, 1983 - vi,324 p. 24 cm - .
3-540-11981-70
Logic programming-Congresses
681.3.06 Log:80