Электронный каталог

    страница из
    всего найдено записей: 23,
      отображать

    Гончаров С.С. Введение в логику и методологию науки / С. С. Гончаров, Ю. Л. Ершов, К. Ф. Самохвалов, 1994. - 255 c. - Текст : непосредственный.

    Ершов Ю.Л. Математическая логика / Ю. Л. Ершов, Е. А. Палютин, 2004. - 336 с. - Текст : непосредственный.

    Интеграционные проекты СО РАН / Российская академия наук. Сибирское отделение. Вып. 40 : Алгоритмы и вычислимость в человеческом познании / Ю. Л. Ершов, В. В. Целищев, 2012. - 503 с. - Текст : непосредственный.

    Лицевая сторона карточкиОбратная сторона карточки

    Лицевая сторона карточкиОбратная сторона карточки

    Лицевая сторона карточкиОбратная сторона карточки

    Интеграционные проекты СО РАН / Рос. АН. Сиб. отд-ние. Вып. 22 : Информационная система математических Интернет-ресурсов MathTree / Ю. Л. Ершов [и др.] ; ред. О. А. Клименко, 2010. - 287 с. - Текст : непосредственный.

    Теория вычислений и языки спецификаций : Сб. науч. тр. / Ред. Ю. Л. Ершов, 1995. - 219 c. - Текст : непосредственный.

    Математическая логика и теория алгоритмов : Сб. / Ред. Ю. Л. Ершов, 1993. - 201 c. - Текст : непосредственный.

    Ершов Ю.Л. Кратно нормированные поля / Ю.Л.Ершов, 2000. - 330 с. - Текст : непосредственный.

    Теория алгоритмов и ее приложения : Сб. науч. тр. / Ред. Ю. Л. Ершов, 1989. - 100 c. - Текст : непосредственный.

    Логические методы в информатике : Сб. науч. тр. / Науч. ред. Ю.Л.Ершов, С.С.Гончаров, 1993. - 176 с. - Текст : непосредственный.

    Ершов Ю.Л. Определимость и вычислимость / Ю.Л.Ершов, 1996. - 286 c. - Текст : непосредственный.

    Ершов Ю.Л. Определимость и вычислимость / Ю.Л.Ершов, 2000. - 318 с. - Текст : непосредственный.

    Ершов Ю.Л. Theory of numberings / Ю.Л.Ершов, 1996. - 37 p. - Текст : непосредственный.

    Структурные алгоритмические свойства вычислимости : Сб. науч. тр. / Ред. Ю. Л. Ершов, 1996. - 152 c. - Текст : непосредственный.

    Вопросы алгебры и логики : Сб. ст. / Ред. Ю. Л. Ершов, 1996. - 192 с. - Текст : непосредственный.

    Ершов Ю.Л. О d-пространствах / Ю.Л.Ершов, 1997. - 18 с. - Текст : непосредственный.

    Структурные и сложностные проблемы вычислимости : Сб.науч.тр. / Науч.ред.Ю.Л.Ершов,С.С.Гончаров, 1999. - 208 с.

    Структурные и сложностные проблемы вычислимости : Сб.науч.тр. / Науч.ред.Ю.Л.Ершов,С.С.Гончаров, 1999. - 208 с. - Текст : непосредственный.