Logic at Botik'89 : symposium on Logical Foundations of Computer Science Pereslavl-Zalessky, USSR, July 3-8, 1989 - Meyer, A.R.; Taitslin, M. A. (Berlin : Springer-Verlag, 1989)
1
Keywords: Logic design -- Computer programs -- Congresses; Logic, Symbolic and mathematical -- Congresses