Logical foundations of computer science : proceedings - Meyer A R; Symposium on Logical Foundations of Computer science( 1989 : USSR ); Symposium on Logical Foundations of Computer science , USSR 1989 (Berlin Springer Verlag, 1989)
Keywords: Computational logic; Computer science