|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Алгоритмическая проблема модальной определимости формул первого порядка с ограничениями на число переменных в модальных пропозициональных формулахтезисы доклада
- Авторы: Чагров Александр Васильевич, Чагрова Лилия Алексеевна
- Сборник: Современная логика: Проблемы теории, истории и применения в науке. Материалы VIII Общероссийской научной конференции, 24-26 июня 2004 г
- Серия: Современная логика
- Тезисы
- Год издания: 2004
- Место издания: СПбГУ Санкт-Петербург
- Первая страница: 544
- Последняя страница: 546
- Добавил в систему: Золин Евгений Евгеньевич