|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Теорема корректности для алгоритма поиска вывода в классической пропозициональной логикетезисы доклада
- Автор: Шангин В.О.
- Сборник: Современная логика: Проблемы теории, истории и применения в науке. Материалы VI Общероссийской научной конференции, 22-24 июня 2000 г
- Серия: Современная логика
- Тезисы
- Год издания: 2000
- Место издания: СПбГУ Санкт-Петербург
- Первая страница: 269
- Последняя страница: 270
- Добавил в систему: Маркин Владимир Ильич