Илья Андреевич Гущин – Projects — Ural Federal University's Research Portal

Research activity per year

If you made any changes in Pure these will be visible here soon.

1 Finished

1 results

Filter

Finished
Epistemology of Computer Proof from the Point of View of Type-Theoretical Approach to the Foundations of Mathematics
Ламберов, Л. Д., Гущин, И. А. & Хлебалин, А. В.
11/01/2019 → 26/12/2020
Project: Award Project