Նորմալ դիտում MARC դիտում ISBD Դիտում

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

Библиогр. в конце ст.

Subjects--Index Terms: Кибернетика - Сборники Формализованные языки - Сборники