Computational logic : proceedings - Lloyd J W; Symposium on Computational Logic( 1990 : Brussels ); Symposium on Computational Logic Brussels, 1990 (Berlin Springer Verlag, 1990)
Keywords: Computational logic