Вид документа : Однотомное издание Шифр издания : И-З 97/S98 Заглавие : Sixth annual IEEE symposium on logic in computer science : Proceedings, July 15-18, 1991, Amsterdam Выходные данные : Los Alamitos: IEEE computer society press, 1991 Колич.характеристики :XVII, 417 p.: Ill. Symposium on logic in computer science (6; 1991; Amsterdam) Примечания : Bibliogr. at the end of the art. - - Auth. ind.: p. 417 ISBN, Цена 0-8186-2230-X: Б.ц. ГРНТИ : 50.41.19 ББК : З 973.205-018.12я431 Предметные рубрики: Логическое программирование Дескрипторы: конф Ключевые слова (''Своб.индексиров.''): абстрактные типы данных--совпадение--представление знаний Экземпляры :02(1) Свободны : 02(1) |