Поиск :
Личный кабинет :
Электронный каталог: Справочник авторов
К списку авторов
Доступно
1 из 1
Доступно
2 из 2
Доступно
2 из 2
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
2 из 2
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
4 из 4
Доступно
1 из 1
Ершов, Ю. Л.
Сортировать по: заглавиюСвязанные описания:
Доступно
1 из 1
Книга
Ершов, Ю. Л.
ПРОБЛЕМЫ РАЗРЕШИМОСТИ И КОНСТРУКТИВНЫЕ МОДЕЛИ
Наука, 1980 г.
ISBN 5-1401975-А
ГБУК СКУНБ им. М.Ю.Лермонтова : ОСН
Ершов, Ю. Л.
ПРОБЛЕМЫ РАЗРЕШИМОСТИ И КОНСТРУКТИВНЫЕ МОДЕЛИ
Наука, 1980 г.
ISBN 5-1401975-А
ГБУК СКУНБ им. М.Ю.Лермонтова : ОСН
Заказать 
На полку Доступно
2 из 2
Книга
Ершов, Ю. Л.
ТЕОРИЯ НУМЕРАЦИЙ
Наука, 1977 г.
ISBN 5-1508484-А
ГБУК СКУНБ им. М.Ю.Лермонтова : ОСН
Ершов, Ю. Л.
ТЕОРИЯ НУМЕРАЦИЙ
Наука, 1977 г.
ISBN 5-1508484-А
ГБУК СКУНБ им. М.Ю.Лермонтова : ОСН
Доступно
2 из 2
Книга
Ершов, Ю. Л.
МАТЕМАТИЧЕСКАЯ ЛОГИКА: УЧEБ. ПOCЛБИE ДЛЯ BУЗOB
Наука, 1979 г.
ISBN 5-1349521-А
ГБУК СКУНБ им. М.Ю.Лермонтова : ОСН
Ершов, Ю. Л.
МАТЕМАТИЧЕСКАЯ ЛОГИКА: УЧEБ. ПOCЛБИE ДЛЯ BУЗOB
Наука, 1979 г.
ISBN 5-1349521-А
ГБУК СКУНБ им. М.Ю.Лермонтова : ОСН
Доступно
1 из 1
Книга
Ершов, Ю. Л.
ОПРЕДЕЛИМОСТЬ И ВЫЧИСЛИМОСТЬ
Экономика, 2000 г.
ISBN 5-282-02021-1
ГБУК СКУНБ им. М.Ю.Лермонтова : ОСН
Ершов, Ю. Л.
ОПРЕДЕЛИМОСТЬ И ВЫЧИСЛИМОСТЬ
Экономика, 2000 г.
ISBN 5-282-02021-1
ГБУК СКУНБ им. М.Ю.Лермонтова : ОСН
Доступно
1 из 1
Книга
148: ЛОГИЧЕСКИЕ МЕТОДЫ В ИНФОРМАТИКЕ
1993 г.
ISBN 5-7623-0675-5
ГБУК СКУНБ им. М.Ю.Лермонтова : ОСН
148: ЛОГИЧЕСКИЕ МЕТОДЫ В ИНФОРМАТИКЕ
1993 г.
ISBN 5-7623-0675-5
ГБУК СКУНБ им. М.Ю.Лермонтова : ОСН
Доступно
1 из 1
Книга
Теория моделей и ее применение
Наука, Сиб. отд-ние, 1988 г.
ISBN отсутствует
ГБУК СКУНБ им. М.Ю.Лермонтова : ОСН
Теория моделей и ее применение
Наука, Сиб. отд-ние, 1988 г.
ISBN отсутствует
ГБУК СКУНБ им. М.Ю.Лермонтова : ОСН
Доступно
2 из 2
Книга
Ершов, Ю. Л.
Математическая логика: учеб. пособие для вузов
Наука, 1987 г.
ISBN отсутствует
ГБУК СКУНБ им. М.Ю.Лермонтова : ОСН
Ершов, Ю. Л.
Математическая логика: учеб. пособие для вузов
Наука, 1987 г.
ISBN отсутствует
ГБУК СКУНБ им. М.Ю.Лермонтова : ОСН
Доступно
1 из 1
Книга
133: ЛОГИЧЕСКИЕ МЕТОДЫ В ПРОГРАММИРОВАНИИ
1990 г.
ISBN отсутствует
ГБУК СКУНБ им. М.Ю.Лермонтова : ОСН
133: ЛОГИЧЕСКИЕ МЕТОДЫ В ПРОГРАММИРОВАНИИ
1990 г.
ISBN отсутствует
ГБУК СКУНБ им. М.Ю.Лермонтова : ОСН
Доступно
1 из 1
Книга
Вып. 129: ТЕОРИЯ АЛГОРИТМОВ И ЕЕ ПРИЛОЖЕНИЯ
1989 г.
ISBN отсутствует
ГБУК СКУНБ им. М.Ю.Лермонтова : ОСН
Вып. 129: ТЕОРИЯ АЛГОРИТМОВ И ЕЕ ПРИЛОЖЕНИЯ
1989 г.
ISBN отсутствует
ГБУК СКУНБ им. М.Ю.Лермонтова : ОСН
Доступно
1 из 1
Книга
Шенфилд, Д. Р.
Математическая логика: пер. с англ.
Наука, 1975 г.
ISBN отсутствует
ГБУК СКУНБ им. М.Ю.Лермонтова : ОСН
Шенфилд, Д. Р.
Математическая логика: пер. с англ.
Наука, 1975 г.
ISBN отсутствует
ГБУК СКУНБ им. М.Ю.Лермонтова : ОСН
Доступно
4 из 4
Книга
Шенфилд, Д. Р.
Степени неразрешимости: пер. с англ.
Наука, 1977 г.
ISBN отсутствует
ГБУК СКУНБ им. М.Ю.Лермонтова : ОСН
Шенфилд, Д. Р.
Степени неразрешимости: пер. с англ.
Наука, 1977 г.
ISBN отсутствует
ГБУК СКУНБ им. М.Ю.Лермонтова : ОСН
Доступно
1 из 1
Книга
Теория вычислений и языки спецификаций: сборник научных трудов
Ин-т математики им. Соболева СО РАН, 1995 г.
ISBN отсутствует
ГБУК СКУНБ им. М.Ю.Лермонтова : ОСН
Теория вычислений и языки спецификаций: сборник научных трудов
Ин-т математики им. Соболева СО РАН, 1995 г.
ISBN отсутствует
ГБУК СКУНБ им. М.Ю.Лермонтова : ОСН
Книга (аналит. описание)
Гончаров, С. С.
Методологические аспекты семантического программирования
б.г.
ISBN отсутствует
Гончаров, С. С.
Методологические аспекты семантического программирования
б.г.
ISBN отсутствует