Поиск :
Личный кабинет :
Электронный каталог: Чень, Ч. - Математическая логика и автоматическое доказательство теорем
Чень, Ч. - Математическая логика и автоматическое доказательство теорем
Доступно
1 из 2
1 из 2
Книга
Автор: Чень, Ч.
Математическая логика и автоматическое доказательство теорем
Серия: Сер. "Математическая логика и основания математики"
Издательство: Наука. Гл. ред. физ.-мат. лит., 1983 г.
ISBN отсутствует
Автор: Чень, Ч.
Математическая логика и автоматическое доказательство теорем
Серия: Сер. "Математическая логика и основания математики"
Издательство: Наука. Гл. ред. физ.-мат. лит., 1983 г.
ISBN отсутствует
Заказать 
На полку
Книга
51 Ч-438
Чень, Ч.
Математическая логика и автоматическое доказательство теорем / Ч. Чень, Р. Ли; Пер. с англ. Г. В. Давыдова, Г. Е. Минца, А. В. Сочилиной; Под ред. С. Ю. Маслова. – М.: Наука. Гл. ред. физ.-мат. лит., 1983. – 358 с. – (Сер. "Математическая логика и основания математики").
510.6
общий = Математика = mathematics : математическая логика, теория алгоритмов, автоматы, теория множеств = mathematical logic, theory of algorithms, machines, set theory
165616 Библиотека НИУ ВШЭ МИЭМ, контр.экз. : MIEM, Single copy Научный 51 Ч-438
165617 Библиотека НИУ ВШЭ МИЭМ, науч.аб-т : MIEM, Academic collection lending department Научный 51 Ч-438
51 Ч-438
Чень, Ч.
Математическая логика и автоматическое доказательство теорем / Ч. Чень, Р. Ли; Пер. с англ. Г. В. Давыдова, Г. Е. Минца, А. В. Сочилиной; Под ред. С. Ю. Маслова. – М.: Наука. Гл. ред. физ.-мат. лит., 1983. – 358 с. – (Сер. "Математическая логика и основания математики").
510.6
общий = Математика = mathematics : математическая логика, теория алгоритмов, автоматы, теория множеств = mathematical logic, theory of algorithms, machines, set theory
165616 Библиотека НИУ ВШЭ МИЭМ, контр.экз. : MIEM, Single copy Научный 51 Ч-438
165617 Библиотека НИУ ВШЭ МИЭМ, науч.аб-т : MIEM, Academic collection lending department Научный 51 Ч-438