A modal framework for reasoning about arbitrary natural numbers

Сперанский, С. О. (Основной докладчик)

Деятельность: выступлениевыступление с приглашенным докладом/лекцией

Описание

Приглашённый «ключевой» доклад
Период4 дек 20198 дек 2019
Название событияConference for Philosophy of Science and Formal Methods in Philosophy 2019 of the Polish Association for Logic and Philosophy of Science: null
Тип мероприятияконференция
МестонахождениеГданьск, Польша
Степень признанияМеждународная