|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Анализ натурального вывода и аналитико-табличного метода в системах позитивной и негативной силлогистики с помощью программы Syllogistic Deductioтезисы доклада
- Автор: Красненкова А.В.
- Сборник: Современная логика: Проблемы теории, истории и применения в науке. Материалы XI Общероссийской научной конференции, 24-26 июня 2010 г
- Серия: Современная логика
- Тезисы
- Год издания: 2010
- Место издания: Издательство СПБГУ Спб
- Добавил в систему: Красненкова Анастасия Владимировна