Логический вывод в конечных предикатах / А. Д. Закревский
Захавана ў:
| Тып дакумента: | |
|---|---|
| Аўтар: | Закревский, А. Д. (1928—2014) |
| Апублікавана: | Минск : Институт технической кибернетики , 1989 |
| Фізіч. характарыстыкі: |
18, [1] с. ; 21 см
|
| Мова: | Руская |
| Серыя: |
Препринт
№ 6 |
| Прадмет: |
ОФХ отдела книгохранения
| Усяго : 1 , даступна: 1 | Даступна Замовіць | ||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
|
|||||||||||