|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Строгая примитивно-рекурсивная реализуемость для языка базисной логикистатья
- Автор: Коновалов А.Ю.
- Сборник: Двенадцатые Смирновские чтения: материалы Международной научной конференции, Москва, 24–26 июня 2021 г
- Год издания: 2021
- Место издания: «Русское общество истории и философии науки» Москва
- Первая страница: 28
- Последняя страница: 30
- Добавил в систему: Коновалов Александр Юрьевич