В949 Вычислительные системы : сборник научных трудов / Академия наук СССР. Сибирское отделение, Институт математики. - Новосибирск : Институт математики, 1961 - .Языки спецификаций и логическое программирование / науч. ред.: Ю. Л. Ершов, С. С. Гончаров. - Новосибирск : Институт математики, 1988. - 148 с. : ил. - Б. ц. Коды, Ключ.слова, Доп.точки доступа 
Имеются экземпляры в отделах: , аунл (2 экз.) Свободны: аунл (2) |