Koichi Furukawa, Hozumi Tanaka, Tetsunosuke Fujisaki
Logic Programming '87 - 1988 - Springer Berlin Heidelberg 1988 - Lecture Notes in Computer Science .
9783540392675
Computer Science
Logic Programming '87 - 1988 - Springer Berlin Heidelberg 1988 - Lecture Notes in Computer Science .
9783540392675
Computer Science