Search Results - Takahashi, Tadashi

  • Showing 1 - 1 results of 1
Refine Results
  1. 1
    On the proof of the theorems of foundations of geometry using Isabelle/HOL

    On the proof of the theorems of foundations of geometry using Isabelle/HOL by Takahashi, Tadashi, Iwama, Fumiya

    Published 2022
    Get full text
    Get full text

Search Tools: