Goto, Shigeki

3 publications

ALT 1990 Algorithmic Learning Theory, First International Workshop, ALT '90, Tokyo, Japan, October 8-10, 1990, Proceedings Setsuo Arikawa, Shigeki Goto, Setsuo Ohsuga, Takashi Yokomori

IJCAI 1985 Concurrency in Proof Normalization and Logic Programming Shigeki Goto

IJCAI 1979 Program Synthesis from Natural Deduction Proofs Shigeki Goto