|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Упрощение процедуры поиска вывода в натуральных исчислениях для классической логики высказываний и силлогистических исчислений на базе классической логики высказываний. г.Москва: Издатель «Институт Стратегических Исследованийстатья
- Автор: Красненкова А.В.
- Журнал: Актуальные проблемы гуманитарных и естественных наук
- Номер: 10
- Год издания: 2011
- Издательство: Науч.-информ. изд. центр и ред. журн. "Актуальные проблемы гуманитарных и естественных наук"
- Местоположение издательства: М.
- Первая страница: 121
- Последняя страница: 128
- Добавил в систему: Красненкова Анастасия Владимировна
Прикрепленные файлы
| № | Имя | Описание | Имя файла | Размер | Добавлен |
|---|---|---|---|---|---|
| 1. | Uproschenie_protseduryi_poiska_vyivoda_v_naturalnyih_ischis… | Uproschenie_protseduryi_poiska_vyivoda_v_naturalnyih_ischis… | 237,0 КБ | 31 мая 2012 [krasnenkova_nastya] |