Items where Author is "Takahashi, Tadashi"
![[up]](/style/images/multi_up.png)
Up a levelGroup by: Item Type | No Grouping
Jump to: Article
Number of items: 1.
Article
Takahashi, Tadashi and Iwama, Fumiya (2022) On the proof of the theorems of foundations of geometry using Isabelle/HOL. Journal of Computational Innovation and Analytics (JCIA), 1 (2). pp. 45-69. ISSN 2821-3408