Takashi Matsuyama

Bibliography

Matsuyama, Takashi and Nitta, Tomoaki. 1995. “Geometric Theorem Proving by Integrated Logical and Algebraic Reasoning.” Artificial Intelligence 75(1): 93–113.
Quinio, Philippe and Matsuyama, Takashi. 1991. “Random Closed Sets: A Unified Approach to the Representation of Imprecision and Uncertainty.” in Symbolic and Quantitative Approaches for Uncertainty: Proceedings of the European Conference ECSQAU, Marseille, France, October 1991, edited by Rudolf Kruse and Pierre Siegel, pp. 282–286. Lecture Notes in Computer Science n. 548. Berlin: Springer.