Pr1019 Pr1019/699 Pr1019/699 / Pr1019/699-02 Conceptual graphs for knowledge representation : First intern. conf. on conceptual structures, ICCS'93, Quebec City, Canada, Aug. 4-7, 1993. Proceedings / G. W. Mineau et al. (Eds.). - Berlin [et al.] : Springer, 1993. - IX, 451 p. : Ill. - (Lecture notes in artificial intelligence ; 699). - Bibliogr. at the end of the art. - Auth. ind.: p. 450-451 Перевод заглавия: Концептуальные графы для представления знаний Рубрики: Системы с базами знаний Представления знаний системы Кл.слова (ненормированные): концептуальное моделирование -- теория графов Дескрипторы: сб пр -- конф Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
Pr1019 Pr1019/723 Pr1019/723 / Pr1019/723-02 Knowledge acquisition for knowledge-based systems : 7th Europ. workshop, EKAW'93 Toulouse a. Caylus, France Sept. 6-10, 1993. Proceedings / N. Aussenac et al. (Eds.). - Berlin [et al.] : Springer, 1993. - XIII,446 p. : Ill. - (Lecture notes in artificial intelligence ; 723). - 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) |
Pr1099 Pr1099/92-0002 Pr1099/92-0002 / Pr1099/92-0002-02 ВМИ "Verification, validation et test" dans le cycle de developpement des systemes a base de connaissances = "Validation, verification and testing" procedures in the life cycle of knowledge-based systems / Service ensembles de production. - Clamart : [s. n.], 1992. - 18 p. : Ill. - (Collection de notes internes de la Direction des etudes et recherches, ISSN 1161-059X ; 92 NI J 0002). - Res. aussi Angl. - Bibliogr.: p. 18 Перевод заглавия: "Аттестация, верификация и тестирование" - процедуры по жизненному циклу систем баз знаний Рубрики: Системы с базами знаний Дескрипторы: сб пр Экземпляры всего: 1 02 ВМИ (1) Свободны: 02 ВМИ (1) |