每年的项目
项目
- 1 已完成
- 1 个结果
搜索结果
-
已完成
Epistemology of Computer Proof from the Point of View of Type-Theoretical Approach to the Foundations of Mathematics
Ламберов, Л. Д., Гущин, И. А. & Хлебалин, А. В.
11/01/2019 → 26/12/2020
项目: Award Project