И-З 97 S98 И-З 97 / S98-02 Symposium on logic in computer science (7; 1992; Santa Cruz, California.). Proceedings of the seventh annual IEEE symposium on logic in computer science, Santa Cruz, California., June 22-25, 1992. - Los Alamitos [et al.] : IEEE Computer society press, 1992. - XIII, 471 p. : Ill. - Bibliogr. at the end of the art. - Auth. ind.: p. 471 Перевод заглавия: Труды 7-го ежегодного симпозиума ИИЭР по логике в вычислительной технике Рубрики: Логическое программирование Кл.слова (ненормированные): процесс алгебры -- структуры данных -- верификация Дескрипторы: конф Экземпляры всего: 1 02 (1) Свободны: 02 (1) |