|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
Realizability semantics for the predicate formulas based on generalized computabilityдоклад на конференции
- Авторы: Plisko V.E., Konovalov A.Yu
- Международная Конференция : Десятые Смирновские чтения по логике. Международная научная конференция. 15-17 июня 2017 года
- Даты проведения конференции: 15-17 июня 2017
- Дата доклада: 16 июня 2017
- Тип доклада: Устный
- Докладчик: Konovalov A.Yu
- Место проведения: Философский факультет, МГУ имени М. В. Ломоносова, Russia
- Добавил в систему: Золин Евгений Евгеньевич