|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
Строгая примитивно-рекурсивная реализуемость для языка базисной логикидоклад на конференции
- Автор: Коновалов А.Ю.
- Международная Конференция : Двенадцатые Смирновские чтения по логике. Международная научная конференция. 24-26 июня 2021 года
- Даты проведения конференции: 24-26 июня 2021
- Дата доклада: 25 июня 2021
- Тип доклада: Устный
- Докладчик: не указан
- Место проведения: Философский факультет, МГУ имени М. В. Ломоносова, Россия, Россия
- Доклад на конференции выполнен в рамках проекта (проектов):
- Добавил в систему: Коновалов Александр Юрьевич