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