Diese Seite auf DeutschQuesta 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 (nitta-t)

Contributions à Philosophie.ch

No contributions yet

Bibliography

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