Вид документа : Однотомное издание Шифр издания : И-З 97/S98 Заглавие : Fifth annual IEEE symposium on logic in computer science : Proc., June 4-7, 1990, Philadelphia Выходные данные : Los Alamitos: IEEE Computer society press, 1990 Колич.характеристики :XVI, 509 p.: Ill. Symposium on logic in computer science (5; 1990; Philadelphia) Примечания : Bibliogr. at the end of the art. - - Auth. ind.: p. 509 ISBN, Цена 0-8186-2073-0: Б.ц. ГРНТИ : 50.07.03 ББК : З 973.2-01я431 Предметные рубрики: Компьютеры-- Теория Дескрипторы: конф.м Ключевые слова (''Своб.индексиров.''): абстрактные типы данных--базы данных--дедукция Экземпляры :02(1) Свободны : 02(1)