М34 Математическое обеспечение систем логического вывода и дедуктивных построений на ЭВМ : Сб. науч. тр. / Ин-т кибернетики АН УССР. - Киев : [б. и.], 1983. - 98 с. - Б. ц.
Кл.слова (ненормированные): ЭВМ -- дедуктивные построения -- системы логического вывода -- математическое обеспечение -- сборники научных трудов Доп.точки доступа: Ин-т кибернетики АН УССР Экземпляры всего: 1 кх (1) Свободны: кх (1) |