И-З 97 S98 И-З 97 / S98-02 Symposium on logic in computer science (5; 1990; Philadelphia). Fifth annual IEEE symposium on logic in computer science : Proc., June 4-7, 1990, Philadelphia. - Los Alamitos [et al.] : IEEE Computer society press, 1990. - XVI, 509 p. : Ill. - Bibliogr. at the end of the art. - Auth. ind.: p. 509 Перевод заглавия: Труды 5-го ежегодного симпозиума по логике в теории вычислительных машин и систем Рубрики: Компьютеры--Теория Кл.слова (ненормированные): абстрактные типы данных -- базы данных -- дедукция Дескрипторы: конф.м Экземпляры всего: 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-го ежегодного симпозиума по логике в вычислительной технике Рубрики: Логическое программирование Кл.слова (ненормированные): абстрактные типы данных -- совпадение -- представление знаний Дескрипторы: конф Экземпляры всего: 1 02 (1) Свободны: 02 (1) |