Расширенный поиск

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

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

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

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

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

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

   Вычислительные системы : сборник научных трудов / Академия наук СССР, Сибирское отделение, Институт математики. - Новосибирск, 1983. - С 1995 г. Институт математики переименован в Институт математики им. С. Л. Соболева. - ISSN 0568-661X.
   Вып. 139 : Теория вычислимости и языки спецификаций / науч. ред. Ершов Ю. Л., Гончаров С. С. - 1991. - 192 с. : ил. - Библиогр. в конце статей. - ISBN 5-7623-0102-8.

   Вычислительные системы : сборник научных трудов / Российская академия наук, Сибирское отделение, Институт математики им. С. Л. Соболева. - Новосибирск, 1995. - Институт математики им. С. Л. Соболева до 1995 г. - Институт математики. - ISSN 0568-661X.
   Вып. 152 : Теория вычислений и языки спецификаций / науч. ред. Ершов Ю. Л., Гончаров С. С. - 1995. - 219 с. - Библиогр. в конце статей. - ISBN 5-86134-012-9.

   Вычислительные системы : сборник научных трудов / Российская академия наук, Сибирское отделение, Институт математики. - Новосибирск, 1994. - С 1995 г. Институт математики переименован в Институт математики им. С. Л. Соболева. - ISSN 0568-661X.
   Вып. 148 : Логические методы в информатике / науч. ред. Ершов Ю. Л., Гончаров С. С. - 1993. - 176 с. - Библиогр. в конце статей. - ISBN 5-7623-0675-5.

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