Результаты исследований: Материалы конференций › тезисы › Рецензирование
Formal Proof-Verification and Mathematical Intuition: the Case of Univalent Foundations. / Родин, Андрей Вячеславович.
2019. Реферат от International congress on logic, methodology and philosophy of science and technology, Prague, Чехия.Результаты исследований: Материалы конференций › тезисы › Рецензирование
}
TY - CONF
T1 - Formal Proof-Verification and Mathematical Intuition: the Case of Univalent Foundations
AU - Родин, Андрей Вячеславович
N1 - Conference code: 16
PY - 2019
Y1 - 2019
M3 - Abstract
Y2 - 5 August 2019 through 10 August 2019
ER -
ID: 75062237