Koichi Furukawa, Hozumi Tanaka, Tetsunosuke Fujisaki
Logic Programming '89 - 1991 - Springer Berlin Heidelberg 1991 - Lecture Notes in Computer Science .
9783540463986
Computer Science
Logic Programming '89 - 1991 - Springer Berlin Heidelberg 1991 - Lecture Notes in Computer Science .
9783540463986
Computer Science