|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Автоматический поиск натурального вывода в интуиционистской логике и проблема дубликациитезисы доклада
- Автор: Шангин В.О.
- Сборник: Современная логика: Проблемы теории, истории и применения в науке. Материалы VII Общероссийской научной конференции, 20-22 июня 2002 г
- Серия: Современная логика
- Тезисы
- Год издания: 2002
- Место издания: СПбГУ Санкт-Петербург
- Первая страница: 512
- Последняя страница: 515
- Добавил в систему: Маркин Владимир Ильич