Masahiko Sato (sato-m)

Contributi a Philosophie.ch

Bibliography

McCarthy, John, Sato, Masahiko, Hayashi, T. and Igarishi, S. 1979. “On the Model Theory of Knowledge.” stan–cs–78–657. Stanford, California: Computer Science Department, Stanford University.
Sato, Masahiko. 1991. “An Abstraction Mechanism for Symbolic Expressions.” in Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, edited by Vladimir Lifschitz, pp. 381–391. New York: Academic Press.