Вид документа : Однотомное издание Шифр издания : И-З 97/S98 Заглавие : Proceedings of the seventh annual IEEE symposium on logic in computer science, Santa Cruz, California., June 22-25, 1992 Выходные данные : Los Alamitos: IEEE Computer society press, 1992 Колич.характеристики :XIII, 471 p.: Ill. Symposium on logic in computer science (7; 1992; Santa Cruz, California.) Примечания : Bibliogr. at the end of the art. - - Auth. ind.: p. 471 ISBN, Цена 0-8186-2735-2: Б.ц. ГРНТИ : 50.05.09 ББК : З 973.205-018.12я431 Предметные рубрики: Логическое программирование Дескрипторы: конф Ключевые слова (''Своб.индексиров.''): процесс алгебры--структуры данных--верификация Экземпляры :02(1) Свободны : 02(1)