Вид документа : Многотомное издание Шифр издания : 578062 681.142(08)/В 94 Заглавие : Вычислительные системы: Сб. науч. тр. Вып. 139: Теория вычислимости и языки спецификаций Выходные данные : Новосибирск, 1991 Колич.характеристики :192 с ISBN, Цена 5-7623-0102-8: 4.80 р. УДК : 510 + 004 Предметные рубрики: математика-- математическая логика вычислительная техника-- ЭВМ Ключевые слова (''Своб.индексиров.''): математическая логика--вычислимости теория--языки спецификаций Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского |