Theory of Judgments and Derivations

Masahiko Sato. Theory of Judgments and Derivations. In Setsuo Arikawa, Ayumi Shinohara, editors, Progress in Discovery Science, Final Report of the Japanese Discovery Science Project. Volume 2281 of Lecture Notes in Computer Science, pages 78-122, Springer, 2002. [doi]

Authors

Masahiko Sato

This author has not been identified. Look up 'Masahiko Sato' in Google