Browse by People
![[up]](/style/images/multi_up.png)
Up a levelNumber of items: 1.
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
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