7
Published 1988
Springer Berlin Heidelberg
... in Tokyo, June 22-24, 1987. It is the successor of Lecture Notes in Computer Science volumes 221 and 264...

8
Published 1991
Springer Berlin Heidelberg
... in Tokyo, 1989. Various topics in logic programming are covered. The first paper is an invited talk by Prof...

9
Published 1989
Springer Berlin Heidelberg
... that took place in Tokyo, April 11-14, 1988. It is the successor to the previous conference proceedings...

10
Published 1993
Springer Berlin Heidelberg
... Theory, held in Tokyo in October 1992. In addition to 3invited papers, the volume contains 19 papers...

11
Published 2016
Springer Japan