Andrzej Salwicki, editor, Logics of Programs and Their Applications, Proceedings, Poznan, August 23-29, 1980. Volume 148 of Lecture Notes in Computer Science, Springer, 1983.
Conference: lop
@proceedings{lop:1980,
title = {Logics of Programs and Their Applications, Proceedings, Poznan, August 23-29, 1980},
year = {1983},
tags = {logic programming, logic},
researchr = {https://researchr.org/publication/lop%3A1980},
cites = {0},
citedby = {0},
booktitle = {Logics of Programs and Their Applications, Proceedings, Poznan, August 23-29, 1980},
editor = {Andrzej Salwicki},
volume = {148},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-11981-7},
}