Электронный каталог

Книга
УДК 621.398.7 М545

Методы представления знаний и доказательное программирование : Сб. науч. тр. / АН УССР. Ин-т кибернетики им. В.М. Глушкова, АН УССР. Науч. совет по проблеме "Кибернетика" ; отв. ред. Е. Л. Ющенко, Ф. Андон. – Киев : [б.и.], 1990. – 116 с.

621.398.7 М545

Тезаурус = ГАСНТИ 50.33
Тезаурус = Автоматика. Вычислительная техника : цифровые вычислительные машины и комплексы
Тезаурус = ГАСНТИ 50.37
Тезаурус = Автоматика. Вычислительная техника : вычислительные центры (ВЦ)

965722 Кх