Поиск :
Личный кабинет :
Электронный каталог: Методы представления знаний и доказательное программирование
Методы представления знаний и доказательное программирование
Книга
Автор:
Методы представления знаний и доказательное программирование : Сб. науч. тр.
Издательство: [б.и.], 1990 г.
ISBN отсутствует
Автор:
Методы представления знаний и доказательное программирование : Сб. науч. тр.
Издательство: [б.и.], 1990 г.
ISBN отсутствует
Книга
УДК 621.398.7 М545
Методы представления знаний и доказательное программирование : Сб. науч. тр. / АН УССР. Ин-т кибернетики им. В.М. Глушкова, АН УССР. Науч. совет по проблеме "Кибернетика" ; отв. ред. Е. Л. Ющенко, Ф. Андон . – Киев : [б.и.], 1990 . – 116 с.
621.398.7 М545
Тезаурус = ГАСНТИ 50.33
Тезаурус = Автоматика. Вычислительная техника : цифровые вычислительные машины и комплексы
Тезаурус = ГАСНТИ 50.37
Тезаурус = Автоматика. Вычислительная техника : вычислительные центры (ВЦ)
965722 Кх
УДК 621.398.7 М545
Методы представления знаний и доказательное программирование : Сб. науч. тр. / АН УССР. Ин-т кибернетики им. В.М. Глушкова, АН УССР. Науч. совет по проблеме "Кибернетика" ; отв. ред. Е. Л. Ющенко, Ф. Андон . – Киев : [б.и.], 1990 . – 116 с.
621.398.7 М545
Тезаурус = ГАСНТИ 50.33
Тезаурус = Автоматика. Вычислительная техника : цифровые вычислительные машины и комплексы
Тезаурус = ГАСНТИ 50.37
Тезаурус = Автоматика. Вычислительная техника : вычислительные центры (ВЦ)
965722 Кх