|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
О дедуктивной эквивалентности систем натурального вывода с зависимостями и натурального субординатного выводастатья
- Автор: Красненкова А.В.
- Сборник: Аспекты. Сборник статей по философским прблемам истории и современности
- Том: 7
- Год издания: 2012
- Место издания: МАКС Пресс Москва
- Первая страница: 85
- Последняя страница: 103
- Добавил в систему: Красненкова Анастасия Владимировна
Прикрепленные файлы
| № | Имя | Описание | Имя файла | Размер | Добавлен |
|---|---|---|---|---|---|
| 1. | Dokazatelstvo_fakta.doc | Dokazatelstvo_fakta.doc | 159,5 КБ | 23 июля 2013 [krasnenkova_nastya] |