Sato, Masahiko

4 publications

ALT 1997 Classical Brouwer-Heyting-Kolmogorov Interpretation Masahiko Sato

CVPR 1989 Development of Hand-Eye System with 3-D Vision and Microgripper and Its Application to Assembling Flexible Wires Tsugito Maruyama, Shinji Kanda, Masahiko Sato, Takashi Uchiyama

IJCAI 1983 Qute: A Prolog/Lisp Type Language for Logic Programming Masahiko Sato, Takafumi Sakurai

IJCAI 1979 Towards a Mathematical Theory of Program Synthesis Masahiko Sato