|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Разрешимость проблемы антитабличности расширений логики Геделя–Лебатезисы доклада
- Авторы: Чагров Александр Васильевич, Чагрова Лилия Алексеевна
- Сборник: Логические методы построения эффективных алгоритмов
- Тезисы
- Год издания: 1986
- Место издания: Изд-во КГУ Калинин
- Первая страница: 126
- Последняя страница: 129
- Добавил в систему: Золин Евгений Евгеньевич