В949 Вычислительные системы : сборник научных трудов / Академия наук СССР. Сибирское отделение, Институт математики. - Новосибирск : Институт математики, 1961 - . Вып. 116 : Прикладная логика : сборник научных трудов / Ред. Ю. Л. Ершов, Ред. С. С. Гончаров. - Новосибирск : Институт математики, 1986. - 166 с. - Библиогр. в конце ст. - (в пер.) : Б. ц. Коды, Ключ.слова, Доп.точки доступа ![]() Имеются экземпляры в отделах: , аунл (2 экз.) Свободны: аунл (2) |
В949 Вычислительные системы : сборник научных трудов / Академия наук СССР. Сибирское отделение, Институт математики. - Новосибирск : Институт математики, 1961 - . Вып. 114 : Логические вопросы теории типов данных : сборник научных трудов / Ред. Ю. Л. Ершов, Ред. С. С. Гончаров. - Новосибирск : Институт математики, 1986. - 140 с. : ил. - Библиогр. в конце ст. - (в пер.) : Б. ц. Коды, Ключ.слова, Доп.точки доступа ![]() Имеются экземпляры в отделах: , аунл (2 экз.) Свободны: аунл (2) |