Математическое обеспечение систем логического вывода и дедуктивных построений ка ЭВМ: Сб. науч. тр. / АН УССР, Науч. совет по пробл. «Кибернетика», Ин-т кибернетики им. В. М. Глушкова
Сохранено в:
| Вид документа: | |
|---|---|
| Опубликовано: | Киев : ИК , 1983 |
| Физические характеристики: |
98 с. : ил. ; 20 см
|
| Язык: | Русский |
| Предмет: |
ОФХ отдела книгохранения
| Всего : 1 , доступно: 1 | Доступно Заказать | ||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
|
|||||||||||