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