2021年5月27日
Euclid's Elements Theorem Proving Using Isabelle
Proceedings of the Universal Academic Cluster International Online Conference in Bangkok, 2021
- ,
- 巻
- 号
- 5
- 記述言語
- 英語
- 掲載種別
- 研究論文(国際会議プロシーディングス)
- ID情報
-
- ISSN : 2432-2334