Подробное описание документа

   Вычислительные системы : сборник научных трудов / Академия наук СССР, Сибирское отделение, Институт математики. - Новосибирск, 1983. - С 1995 г. Институт математики переименован в Институт математики им. С. Л. Соболева. - ISSN 0568-661X.
   Вып. 146 : Логика и семантическое программирование / науч. ред. Ершов Ю. Л., Гончаров С. С. - 1992. - 202 с. : рис., табл. - Библиогр. в конце статей.

УДК

004 Информационные технологии. Вычислительная техника. Теория, технология и применения вычислительных машин и систем.

Предметная рубрика

• Вычислительные системы

Общее кол-во в фондах

1 экз.

Заказать в читальный зал

Заявка на закупку

1. Преподавательский абонемент ауд.221л, УЛК, ауд. 221л
2. Читальный зал ауд.305л, УЛК, ауд. 305л