Илья Андреевич Гущин – Проекты — Научно-исследовательский портал Уральского федерального университета

Результат исследований по году

Если Вы внесли какие-либо изменения в Pure, они скоро будут видимы здесь.

1 Завершено

1 результатов

Завершено
Эпистемология компьютерного доказательства с точки зрения теоретико-типового подхода к основаниям математики
Ламберов, Л. Д., Гущин, И. А. & Хлебалин, А. В.
11/01/2019 → 26/12/2020
Проект: Проект-Грант