論文

査読有り
2021年5月27日

Euclid's Elements Theorem Proving Using Isabelle

Proceedings of the Universal Academic Cluster International Online Conference in Bangkok, 2021
  • Fumiya Iwama
  • ,
  • Tadashi Takahashi

5
記述言語
英語
掲載種別
研究論文(国際会議プロシーディングス)

ID情報
  • ISSN : 2432-2334

エクスポート
BibTeX RIS