Пр31 Пр31/N175 Пр31/N175 / Пр31/N175-02 Информационные технологии работы со знаниями: обнаружение, поиск, управление : сб. науч. тр. / Рос. акад. наук, Сиб. отд-ние, Ин-т математики им. С. Л. Соболева ; науч. ред. Е. Е. Витяев, Д. Е. Пальчунов. - Новосибирск : ИМ, 2008. - 171 с. : ил. ; 20 см. - (Вычислительные системы, ISSN 0568-661Х ; 175). - Библиогр. в конце ст. -
Рубрики: информационные системы интеллектуальные Кл.слова (ненормированные): Базы данных -- Базы знаний -- Информационные системы автоматизированные Доп.точки доступа: Витяев, Евгений Евгеньевич \ред.\; Пальчунов, Д.Е. \ред.\ Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
Pr1019 Pr1019/611 Pr1019/611 / Pr1019/611-02 The next generation of information systems: from data to knowledge : a selection of papers presented at two IJCAI-91 workshops, Sydney, Australia, Aug. 26, 1991 / Ed. by M. P. Papazoglou, J. Zeleznikow. - Berlin [et al.] : Springer, 1992. - VIII,310 p. - (Lecture notes in artificial intelligence ; 611). - Bibliogr. at the end of the art Перевод заглавия: Следующее поколение информационных систем: от данных к знанию Рубрики: Экспертные системы Кл.слова (ненормированные): базы знаний -- интеллектуальные информационные системы Дескрипторы: сб пр -- конф Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
Pr1019 Pr1019/592 Pr1019/592 / Pr1019/592-02 Logic programming [Text] : first Russian conf. on logic programming, Irkutsk, Russia, Sept. 14-18, 1990; Second Russian conf. on logic programming, St. Petersburg, Russia, Sept. 11-16, 1991. Proc. / Ed. by A. Voronkov. - Berlin [et al.] : Springer, 1992. - IX,514 p. : Ill. - (Lecture notes in artificial intelligence ; 592). - Bibliogr. at the end of the art Перевод заглавия: Логическое программирование Рубрики: Логическое программирование Кл.слова (ненормированные): базы знаний -- семантика -- Пролог -- временная логика Дескрипторы: сб пр -- конф Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
И-З 97 G18 И-З 97 / G18-02 Garcia, Oscar N.. Knowledge-based systems : fundamentals and tools / O. N. Garcia, Y. -T. Chien. - Los Alamitos [et al.] : IEEE Computer society press, 1991. - XIV,495 p. : Ill. - Bibliogr. at the end of the art Перевод заглавия: Системы с базами знаний: теория и инструментальные средства Рубрики: Системы с базами знаний Кл.слова (ненормированные): логическое программирование -- базы знаний -- верификация Дескрипторы: моногр Доп.точки доступа: Chien, Yi-Tzuu Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
И-З 97 I.69 И-З 97 / I.69-02 International conference on data engineering (8 ; 1992 ; Tempe, Arizona). Eighth International conference on data engineering : Febr. 2-3, 1992, Tempe, Ariz / ed. by F. Golshani. - Los Alamitos [et al.] : IEEE computer society press, 1992. - XVI, 660 p. : Ill. - Bibliogr. at the end of the art. - Auth. ind.: p. 659-660 Перевод заглавия: Труды 8-ой международной конференции по технике представления данных Рубрики: Базы данных Кл.слова (ненормированные): объектно-ориентированные базы данных -- базы знаний -- алгоритмы Дескрипторы: конф Доп.точки доступа: Golshani, F. \ed.\ Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
И-З 97 S98 И-З 97 / S98-02 Symposium on applied computing (1991 ; Kansas City, Missouri). Proceedings of the 1991 Symposium on applied computing : Kansas City, Miss., Apr. 3-5, 1991 / ed. by V. Kumar, E. A. Unger. - Los Alamitos [et al.] : IEEE Computer society press, 1991. - XVI,487 p. : Ill. - Bibliogr. at the end of the art Перевод заглавия: Труды симпозиума по прикладным обработкам данных Рубрики: Базы данных Кл.слова (ненормированные): системы баз данных -- базы знаний -- криптография Дескрипторы: конф Доп.точки доступа: Kumar, Vijay \ed.\; Unger, E.A. \ed.\ Экземпляры всего: 1 02 (1) Свободны: 02 (1) |