Cette page en françaisQuesta pagina in italianoThis page in English
Kein Profilbild | No profile picture | Utilisateur n'as pas d'image
https://www.philosophie.ch/profil/nitta-t

Tomoaki Nitta

Bibliography

    Matsuyama, Takashi and Nitta, Tomoaki. 1995. “Geometric Theorem Proving by Integrated Logical and Algebraic Reasoning.” Artificial Intelligence 75(1): 93–113.