Андрей Вячеславович Родин - Участник

доклад "Computer-assisted proofs and mathematical understanding: The case of univalent foundations"
31 июл 2007

Logical Perspectives 2021

Продолжительность7 июл 20218 июл 2021
МестоположениеМосква
Электронный адрес (URL)
Уровень (статус) мероприятиямеждународный уровень

Событие: конференция

ID: 92473316