Epistemology of Computer Proof from the Point of View of Type-Theoretical Approach to the Foundations of Mathematics

项目: Award Project

指纹

搜索该项目所涉及的研究主题。这些标签是基于奖励/奖项生成的。它们共同形成唯一的指纹。

Гуманитарные науки и искусство