el cat en
База данных: Electronic catalog FEFU
Page 1, Results: 3
Отмеченные записи: 0
1.
Подробнее
519.682.5
П 58
Попов, Эдуард Викторович.
Экспертные системы : решение неформализованных задач в диалоге с ЭВМ / Э. В. Попов. - Москва : Наука, 1987. - 288 c. : табл., ил. - (Проблемы искусственного интеллекта). - Библиогр. : с. 275-284
Кл.слова (ненормированные):
экспертные системы (математика) -- информатика -- ЭВМ -- автоматизированные системы управления -- неформализованные задачи -- математика -- искусственный интеллект
Экземпляры всего: 2
Хранение Отдела организации и использования фонда (1), Абонемент учебной и научной литературы (402) (1)
Свободны: Хранение Отдела организации и использования фонда (1), Абонемент учебной и научной литературы (402) (1)
П 58
Попов, Эдуард Викторович.
Экспертные системы : решение неформализованных задач в диалоге с ЭВМ / Э. В. Попов. - Москва : Наука, 1987. - 288 c. : табл., ил. - (Проблемы искусственного интеллекта). - Библиогр. : с. 275-284
УДК |
Кл.слова (ненормированные):
экспертные системы (математика) -- информатика -- ЭВМ -- автоматизированные системы управления -- неформализованные задачи -- математика -- искусственный интеллект
Экземпляры всего: 2
Хранение Отдела организации и использования фонда (1), Абонемент учебной и научной литературы (402) (1)
Свободны: Хранение Отдела организации и использования фонда (1), Абонемент учебной и научной литературы (402) (1)
2.
Подробнее
510 Л 694
Логические методы в информатике : сборник научных трудов / Институт математики (Новосибирск) ; Российская академия наук, Сибирское отделение, Институт математики ; науч. ред. : Ю. Л. Ершов, С. С. Гончаров. - Новосибирск : [б. и.], 1993. - 176 c. : ил., табл. - (Вычислительные системы ; вып. 148.). - Библиогр. в конце ст.. - ISBN 5762306755
Кл.слова (ненормированные):
математика -- программирование -- языки спецификаций (математика) -- операционная семантика (математика) -- денотационная семантика (математика) -- прикладная логика -- логическое программирование -- искусственный интеллект -- информатика -- экспертные системы (математика) -- математические исследования (XX век)
Доп.точки доступа:
Ершов, Юрий Леонидович \ред.\
Гончаров, Сергей Савостьянович \ред.\
Институт математики (Новосибирск)
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
Логические методы в информатике : сборник научных трудов / Институт математики (Новосибирск) ; Российская академия наук, Сибирское отделение, Институт математики ; науч. ред. : Ю. Л. Ершов, С. С. Гончаров. - Новосибирск : [б. и.], 1993. - 176 c. : ил., табл. - (Вычислительные системы ; вып. 148.). - Библиогр. в конце ст.. - ISBN 5762306755
УДК |
Кл.слова (ненормированные):
математика -- программирование -- языки спецификаций (математика) -- операционная семантика (математика) -- денотационная семантика (математика) -- прикладная логика -- логическое программирование -- искусственный интеллект -- информатика -- экспертные системы (математика) -- математические исследования (XX век)
Доп.точки доступа:
Ершов, Юрий Леонидович \ред.\
Гончаров, Сергей Савостьянович \ред.\
Институт математики (Новосибирск)
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
3.
Подробнее
519.68
Я 411
Языки представления знаний и вопросы реализации экспертных систем : сборник научных трудов / Академия наук СССР, Дальневосточный научный центр ; [отв. ред. А. С. Клещев] ; Академия наук СССР, Дальневосточный научный центр. - Владивосток : Изд-во Дальневосточного научного центра, 1984. - 152 c.
Кл.слова (ненормированные):
математические модели -- технология программирования (математика) -- языки программирования -- экспертные системы (математика) -- фреймовые модели (математика)
Доп.точки доступа:
Клещев, Александр Сергеевич \ред.\
Академия наук СССР. Дальневосточный научный центр
Экземпляры всего: 5
Ч/З о. Русский (1), Хранение Отдела организации и использования фонда (1), Абонемент учебной и научной литературы (3)
Свободны: Ч/З о. Русский (1), Хранение Отдела организации и использования фонда (1), Абонемент учебной и научной литературы (3)
Я 411
Языки представления знаний и вопросы реализации экспертных систем : сборник научных трудов / Академия наук СССР, Дальневосточный научный центр ; [отв. ред. А. С. Клещев] ; Академия наук СССР, Дальневосточный научный центр. - Владивосток : Изд-во Дальневосточного научного центра, 1984. - 152 c.
УДК |
Кл.слова (ненормированные):
математические модели -- технология программирования (математика) -- языки программирования -- экспертные системы (математика) -- фреймовые модели (математика)
Доп.точки доступа:
Клещев, Александр Сергеевич \ред.\
Академия наук СССР. Дальневосточный научный центр
Экземпляры всего: 5
Ч/З о. Русский (1), Хранение Отдела организации и использования фонда (1), Абонемент учебной и научной литературы (3)
Свободны: Ч/З о. Русский (1), Хранение Отдела организации и использования фонда (1), Абонемент учебной и научной литературы (3)
Page 1, Results: 3