|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
On weak constant domain conditions in the Kripke sheaf semanticsдоклад на конференции
- Автор: Skvortsov D.P.
- Международная Конференция : Десятые Смирновские чтения по логике. Международная научная конференция. 15-17 июня 2017 года
- Даты проведения конференции: 15-17 июня 2017
- Дата доклада: 16 июня 2017
- Тип доклада: Устный
- Докладчик: не указан
- Место проведения: Философский факультет, МГУ имени М. В. Ломоносова, Russia
- Добавил в систему: Золин Евгений Евгеньевич