Поиск :
Личный кабинет :
Электронный каталог: МЕТОДЫ ПРЕДСТАВЛЕНИЯ ЗНАНИЙ И ДОКАЗАТЕЛЬНОЕ ПРОГРАММИРОВАНИЕ
МЕТОДЫ ПРЕДСТАВЛЕНИЯ ЗНАНИЙ И ДОКАЗАТЕЛЬНОЕ ПРОГРАММИРОВАНИЕ
Книга
Автор:
МЕТОДЫ ПРЕДСТАВЛЕНИЯ ЗНАНИЙ И ДОКАЗАТЕЛЬНОЕ ПРОГРАММИРОВАНИЕ : СБ. НАУЧ. ТР.
Издательство: ИК, 1990 г.
ISBN 5-7702-0043-X
Автор:
МЕТОДЫ ПРЕДСТАВЛЕНИЯ ЗНАНИЙ И ДОКАЗАТЕЛЬНОЕ ПРОГРАММИРОВАНИЕ : СБ. НАУЧ. ТР.
Издательство: ИК, 1990 г.
ISBN 5-7702-0043-X
Заказать 
На полку
Книга
32.973 М54
1745315 ОСН
МЕТОДЫ ПРЕДСТАВЛЕНИЯ ЗНАНИЙ И ДОКАЗАТЕЛЬНОЕ ПРОГРАММИРОВАНИЕ : СБ. НАУЧ. ТР.– Киев : ИК, 1990.– 116 с. : ил.
ISBN 5-7702-0043-X.
ББК 32.973
-- 1. 1.ПРЕДСТАВЛЕНИЕ ЗНАНИЙ - СБОРНИКИ. 2.ВЫЧИСЛИТЕЛЬНЫЕ МАШИНЫ ЭЛЕКТРОННЫЕ - ПРОГРАММИРОВАНИЕ - СБОРНИКИ..
32.973 М54
1745315 ОСН
МЕТОДЫ ПРЕДСТАВЛЕНИЯ ЗНАНИЙ И ДОКАЗАТЕЛЬНОЕ ПРОГРАММИРОВАНИЕ : СБ. НАУЧ. ТР.– Киев : ИК, 1990.– 116 с. : ил.
ISBN 5-7702-0043-X.
ББК 32.973
-- 1. 1.ПРЕДСТАВЛЕНИЕ ЗНАНИЙ - СБОРНИКИ. 2.ВЫЧИСЛИТЕЛЬНЫЕ МАШИНЫ ЭЛЕКТРОННЫЕ - ПРОГРАММИРОВАНИЕ - СБОРНИКИ..
| Филиал | Фонд | Всего | Доступно для брони | Доступно для выдачи | Бронирование |
|---|---|---|---|---|---|
| ОСН | Общий | 1 | 1 | 1 | Заказать |