Электронный каталог -Справочник авторов- Absopac

Поиск :

Личный кабинет :

Электронный каталог: Справочник авторов

К списку авторов

Гончаров, С. С.

Сортировать по: заглавию

Связанные описания:

Отобрать для печати: страницу | инверсия | сброс | печать(0)

Экз. чит. зала

Книга
Гончаров, С. С.
Введение в логику и методологию науки

Серия: Программа "Обновление гуманитарного образования в России"

Интерпракс, 1994 г.
ISBN 5-86134-009-9
НТБ МЭИ : Кх

На полку

Доступно
2 из 2

Книга
Гончаров, С. С.
Конструктивные модели

Серия: Сибирская школа алгебры и логики

Научная книга, 1999 г.
ISBN 5-88119-021-1
НТБ МЭИ : Кх

Заказать

На полку

Доступно
1 из 1

Книга

Вычислительные системы. Вып.114. Логические вопросы теории типов данных: сборник научных трудов
[б.и.], 1986 г.
ISBN отсутствует
НТБ МЭИ : Кх

Заказать

На полку

Доступно
1 из 1

Книга

Вычислительные системы. Вып.116. Прикладная логика: сборник научных трудов
[б.и.], 1986 г.
ISBN отсутствует
НТБ МЭИ : Кх

Заказать

На полку

Доступно
1 из 1

Книга

Вычислительные системы. Вып.120. Логические методы в программировании: сборник научных трудов
[б.и.], 1987 г.
ISBN отсутствует
НТБ МЭИ : Кх

Заказать

На полку

Доступно
1 из 1

Книга

Вычислительные системы. Вып.124 Языки спецификаций и логическое программирование: сборник научных трудов
[б.и.], 1988 г.
ISBN отсутствует
НТБ МЭИ : Кх

Заказать

На полку

Доступно
1 из 1

Книга

Вычислительные системы. Вып.129. Теория алгоритмов и ее приложения: сборник научных трудов
[б.и.], 1989 г.
ISBN отсутствует
НТБ МЭИ : Кх

Заказать

На полку

Доступно
1 из 1

Книга

Вычислительные системы. Вып.133. Логические методы в программировании: сборник научных трудов
[б.и.], 1990 г.
ISBN отсутствует
НТБ МЭИ : Кх

Заказать

На полку

Доступно
1 из 1

Книга

Вычислительные системы. Вып.139. Теория вычислимости и языки спецификаций: сборник научных трудов
[б.и.], 1991 г.
ISBN отсутствует
НТБ МЭИ : Кх

Заказать

На полку