|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Семантика общерекурсивной реализуемости для языка логики предикатовдоклад на конференции
- Автор: Коновалов А.Ю.
- Международная Конференция : «Ломоносовские чтения - 2019». Секция «Математика»
- Даты проведения конференции: 15-25 апреля 2019
- Дата доклада: 17 апреля 2019
- Тип доклада: Устный
- Докладчик: Коновалов А.Ю.
- Место проведения: Москва, МГУ, Russia
- Доклад на конференции выполнен в рамках проекта (проектов):
- Добавил в систему: Коновалов Александр Юрьевич