Вид документа : Однотомное издание Шифр издания : Пр31/Пр31/146 Заглавие : Логика и семантическое программирование Выходные данные : Новосибирск, 1992 Колич.характеристики :205 с., включ. обл.: ил. Серия: Вычислительные системы: сб. науч. тр., ISSN 0568-661X; 146 Примечания : Библиогр. в конце ст. ISBN, Цена 5-7623-0417-5: Б.ц. ГРНТИ : 50.05 ББК : З 973.205-018.12я43 Предметные рубрики: Логическое программирование Дескрипторы: сб пр--сб Экземпляры :02(1) Свободны : 02(1) Доп.точки доступа: Ершов, Ю. Л. \ред.\; Гончаров, С.С. \ред.\