681.3/М545

   
    Методы представления знаний и доказательное программирование [Текст] : сб. науч. тр. / АН УССР, Ин-т кибернетики им. В.М. Глушкова ; Отв. ред. Ф.И. Андон , Е.Л.Ющенко. - Киев : ИК, 1990. - 116 с. : ил. - Библиогр. в конце ст. - ISBN 5-7702-0043-X : Б. ц.
ГРНТИ
УДК
Рубрики: Программирование

Держатели документа:
Республиканская научно-техническая билиотека

Доп.точки доступа:
, Ф.И. \ред.\; Ющенко, Е.Л.
Экземпляры всего: 2
ХР (2)
Свободны: ХР (2)