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

Книга
УДК 621.398.7 М34

Математическое обеспечение систем логического вывода и дедуктивных построений на ЭВМ : Сборник научных трудов / АН УССР. Ин-т кибернетики им. В.М. Глушкова . – Киев : [б.и.], 1983 . – 98 с.

621.398.7 М34

Тезаурус = ГАСНТИ 27.03
Тезаурус = Математика : основания математики и математическая логика : математическая логика
Тезаурус = ГАСНТИ 28.23
Тезаурус = Кибернетика : искусственный интеллект (ИИ)

828598 Кх