|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Автоматический поиск натурального вывода в классической логике предикатовдиссертация
- Научный руководитель: Бочаров В.А.
- Автор: Шангин Василий Олегович
- Год защиты: 2004
- Шифр диссертационного совета: Д 501.001.48
- Организация: МГУ имени М.В. Ломоносова
- Область знаний: Философия
- Специальность: 09.00.07 - Логика
- Тип диссертации: Кандидатская
- Добавил в систему: Шангин Василий Олегович
Прикрепленные файлы
| № | Имя | Описание | Имя файла | Размер | Добавлен |
|---|---|---|---|---|---|
| 1. | Ph.D._Shangin.pdf | Ph.D._Shangin.pdf | 10,6 МБ | 1 июня 2014 |