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