Поиск :
Личный кабинет :
Электронный каталог: МЕТОДЫ ПРЕДСТАВЛЕНИЯ ЗНАНИЙ И ДОКАЗАТЕЛЬНОЕ ПРОГРАММИРОВАНИЕ
МЕТОДЫ ПРЕДСТАВЛЕНИЯ ЗНАНИЙ И ДОКАЗАТЕЛЬНОЕ ПРОГРАММИРОВАНИЕ
Доступно
1 из 1
1 из 1
Книга
Автор:
МЕТОДЫ ПРЕДСТАВЛЕНИЯ ЗНАНИЙ И ДОКАЗАТЕЛЬНОЕ ПРОГРАММИРОВАНИЕ : СБ. НАУЧ. ТР.
Издательство: ИК, 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.ВЫЧИСЛИТЕЛЬНЫЕ МАШИНЫ ЭЛЕКТРОННЫЕ - ПРОГРАММИРОВАНИЕ - СБОРНИКИ..