el cat en
База данных: Electronic catalog FEFU
Page 1, Results: 2
Отмеченные записи: 0
1.
Подробнее
410 М 43
Межвузовская конференция по порождающим грамматикам, Кяэрику,15-25 сентября 1967 : тезисы докладов / под ред. Х. Рятсеп ; Тартуский университет. - Тарту : Изд-во Тартуского университета, 1967. - 144 c.
Рубрики: порождающие грамматики--языкознание--материалы конференции (съезда, симпозиума)
Кл.слова (ненормированные):
логико-лингвистические модели -- машинные словари -- порождающая грамматика -- синтаксические модели языка -- лингвистические методы -- семиотика -- языковая структура -- дистрибутивный метод -- порождающих грамматик теории -- Отаина, Галина Александровна (библиотека)
Доп.точки доступа:
Рятсеп, Х. \ред.\
Тартуский университет
Экземпляры всего: 1
Ч/З Редкая книга (1)
Свободны: Ч/З Редкая книга (1)
Межвузовская конференция по порождающим грамматикам, Кяэрику,15-25 сентября 1967 : тезисы докладов / под ред. Х. Рятсеп ; Тартуский университет. - Тарту : Изд-во Тартуского университета, 1967. - 144 c.
УДК |
Рубрики: порождающие грамматики--языкознание--материалы конференции (съезда, симпозиума)
Кл.слова (ненормированные):
логико-лингвистические модели -- машинные словари -- порождающая грамматика -- синтаксические модели языка -- лингвистические методы -- семиотика -- языковая структура -- дистрибутивный метод -- порождающих грамматик теории -- Отаина, Галина Александровна (библиотека)
Доп.точки доступа:
Рятсеп, Х. \ред.\
Тартуский университет
Экземпляры всего: 1
Ч/З Редкая книга (1)
Свободны: Ч/З Редкая книга (1)
2.
Подробнее
519.8 В 124
Вагин, Вадим Николаевич.
Дедукция и обобщение в системах принятия решений / В. Н. Вагин. - Москва : Наука, 1988. - 383 c. : ил. - (Проблемы искусственного интеллекта). - Библиогр. : с. 370-381. - ISBN 5020138878
Рубрики: принятие решений--системы поддержки--математическая теория
Кл.слова (ненормированные):
системы управления сложными объектами -- семантические сети -- формальные системы -- дедуктивная логика -- методы кластеризации -- дедуктивный вывод -- управление энергообъединениями -- исчисление высказываний -- исчисление предикатов -- системы принятия решений -- алгоритмы дедукции на семантических сетях -- алгоритмы обобщения по признакам -- алгоритмы кластеризации -- методы обобщения информации (интеллектуальные системы) -- графы семантические -- методы распознавания образов -- процедуры логического вывода дедуктивные -- логико-лингвистические модели управления -- структурное обобщение понятий -- модели представления знаний -- системы автоматизации научных исследований -- кластеризации методы -- кластеризации алгоритмы
Экземпляры всего: 2
Хранение Отдела организации и использования фонда (1), Ч/З о. Русский (1)
Свободны: Хранение Отдела организации и использования фонда (1), Ч/З о. Русский (1)
Вагин, Вадим Николаевич.
Дедукция и обобщение в системах принятия решений / В. Н. Вагин. - Москва : Наука, 1988. - 383 c. : ил. - (Проблемы искусственного интеллекта). - Библиогр. : с. 370-381. - ISBN 5020138878
УДК |
Рубрики: принятие решений--системы поддержки--математическая теория
Кл.слова (ненормированные):
системы управления сложными объектами -- семантические сети -- формальные системы -- дедуктивная логика -- методы кластеризации -- дедуктивный вывод -- управление энергообъединениями -- исчисление высказываний -- исчисление предикатов -- системы принятия решений -- алгоритмы дедукции на семантических сетях -- алгоритмы обобщения по признакам -- алгоритмы кластеризации -- методы обобщения информации (интеллектуальные системы) -- графы семантические -- методы распознавания образов -- процедуры логического вывода дедуктивные -- логико-лингвистические модели управления -- структурное обобщение понятий -- модели представления знаний -- системы автоматизации научных исследований -- кластеризации методы -- кластеризации алгоритмы
Экземпляры всего: 2
Хранение Отдела организации и использования фонда (1), Ч/З о. Русский (1)
Свободны: Хранение Отдела организации и использования фонда (1), Ч/З о. Русский (1)
Page 1, Results: 2