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