Pr1019
   Pr1019/390
Pr1019/390 / Pr1019/390-02


    Portuguese conference on artificial intelligence (4; 1989; Lisbon).
    EPIA 89 : 4th Portuguese conf. on artificial intelligence Lisbon, Portugal, Sept. 26-29, 1989. Proc. / Ed. by J. P. Martins, E. M. Morgado. - Berlin [et al.] : Springer, 1989. - XII,400 p. : Ill. - (Lecture notes in artificial intelligence ; 390). - Bibliogr. at the end of the art
Перевод заглавия: Труды конференции по искусственному интеллекту
ББК З 813я431
Рубрики: Искусственный интеллект
Кл.слова (ненормированные):
искусственный интеллект -- представление знаний
Дескрипторы: сб пр

Экземпляры всего: 1
02 (1)
Свободны: 02 (1)

   Pr1019
   Pr1019/754
Pr1019/754 / Pr1019/754-02


   
    Conceptual structures: theory and implementation [Text] : 7th Annu. workshop Las Cruces, USA, July 8-10, 1992. Proceedings / H. D. Pfeiffer, T. E. Nagle (Eds.). - Berlin [et al.] : Springer, 1993. - IX, 327 p. : Ill. - (Lecture notes in artificial intelligence ; 754). - Bibliogr. at the end of the art
Перевод заглавия: Концептуальные структуры: теория и внедрение
ББК З 973.205Я431
Рубрики: Представления знаний системы
Кл.слова (ненормированные):
концептуальные графы -- представление знаний -- базы данных
Дескрипторы: сб пр -- конф

Экземпляры всего: 1
02 (1)
Свободны: 02 (1)

   И-З 97
   S98
И-З 97 / S98-02


    Symposium on logic in computer science (6; 1991; Amsterdam).
    Sixth annual IEEE symposium on logic in computer science : Proceedings, July 15-18, 1991, Amsterdam. - Los Alamitos [et al.] : IEEE computer society press, 1991. - XVII, 417 p. : Ill. - Bibliogr. at the end of the art.
- Auth. ind.: p. 417
Перевод заглавия: Труды 6-го ежегодного симпозиума по логике в вычислительной технике
ББК З 973.205-018.12я431
Рубрики: Логическое программирование
Кл.слова (ненормированные):
абстрактные типы данных -- совпадение -- представление знаний
Дескрипторы: конф

Экземпляры всего: 1
02 (1)
Свободны: 02 (1)