|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ПсковГУ |
||
Секвенциальное исчисление для некоторой логики с коннегациейдоклад на конференции
- Автор: Слюсарев Иван Юрьевич
- Международная Конференция : XXX Международная научная конференция студентов, аспирантов и молодых ученых "Ломоносов 2023"
- Даты проведения конференции: 10-21 апреля 2023
- Дата доклада: 18 апреля 2023
- Тип доклада: Устный
- Докладчик: Слюсарев Иван Юрьевич
- Место проведения: Москва, Россия
- Добавил в систему: Слюсарев Иван Юрьевич
Прикрепленные файлы
| № | Имя | Описание | Имя файла | Размер | Добавлен |
|---|