Вид документа : Многотомное издание Шифр издания : 681.3/В949 Автор(ы) : Заглавие : Вычислительные системы: Сборник научных трудов/ Академия наук СССР. Сибирское отделение, Институт математики. Вып. 114: Логические вопросы теории типов данных : сборник научных трудов Выходные данные : Новосибирск: Институт математики, 1986 Колич.характеристики :140 с.: ил Коллективы : Академия наук СССР. Сибирское отделение, Институт математики Примечания : Библиогр. в конце ст. Цена : Б.ц. УДК : 681.324 Ключевые слова (''Своб.индексиров.''): вычислительные системы--обработка данных--анализ данных--описания данных--представления данных--семантическое программирование--прикладная логика Экземпляры : всего : аунл(2) Свободны : аунл(2) Доп.точки доступа: Косарев Ю. Г. \ред.\ Ершов, Ю. Л. \ред.\ Гончаров, С. С. \ред.\ Академия наук СССР. Сибирское отделение Институт математики |