И-З 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-го ежегодного симпозиума по логике в вычислительной технике Рубрики: Логическое программирование Кл.слова (ненормированные): абстрактные типы данных -- совпадение -- представление знаний Дескрипторы: конф Экземпляры всего: 1 02 (1) Свободны: 02 (1) |