|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
Строго позитивные логики доказуемостидоклад на конференции
- Автор: Беклемишев Л.Д.
- Всероссийская с международным участием Конференция : Всероссийская конференция «Алгебра и теория алгоритмов», посвященная 100-летию факультета математики и компьютерных наук Ивановского государственного университета
- Даты проведения конференции: 21-24 марта 2018
- Дата доклада: 21 марта 2018
- Тип доклада: Пленарный
- Докладчик: не указан
- Место проведения: г. Иваново, Russia
- Добавил в систему: Заплетина Елена Витальевна