Логика и дедуктивный вывод в логических моделях представления знаний: метод резолюций и стратегии резолюции: учебное пособие для всех форм обучения факультетов ФИТУ, КСиС и аспирантов / В. А. Иноземцев
Сохранено в:
| Вид документа: | |
|---|---|
| Автор: | Иноземцев, В. А. (род. 1963) |
| Опубликовано: | Минск : БГУИР , 2001 |
| Физические характеристики: |
36 с. : ил. ; 20 см
|
| Язык: | Русский |
| Предмет: |
ОФХ отдела книгохранения
| Всего : 2 , доступно: 2 | Доступно Заказать | |||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
|
||||||||||||||||