|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Алгоритмическая проблема первопорядковой определимости интуиционистских формул на конечных шкалах Крипкетезисы доклада
- Авторы: Чагров Александр Васильевич, Чагрова Лилия Алексеевна
- Сборник: Материалы юбилейной научной конференции «Российской математике — триста лет»
- Тезисы
- Год издания: 2002
- Место издания: Изд-во Тверского гос. ун-та Тверь
- Первая страница: 115
- Последняя страница: 120
- Добавил в систему: Золин Евгений Евгеньевич