Поиск :
Личный кабинет :
Электронный каталог: Чень, Ч. - Математическая логика и автоматическое доказательство теорем
Чень, Ч. - Математическая логика и автоматическое доказательство теорем
Доступно
3 из 3
3 из 3
Книга
Автор: Чень, Ч.
Математическая логика и автоматическое доказательство теорем
Серия: Математическая логика и основания математики
Издательство: Наука, 1983 г.
ISBN отсутствует
Автор: Чень, Ч.
Математическая логика и автоматическое доказательство теорем
Серия: Математическая логика и основания математики
Издательство: Наука, 1983 г.
ISBN отсутствует
Книга
51мл Ч-438
Чень, Ч.
Математическая логика и автоматическое доказательство теорем / Ч. Чень, Р. Ли; Пер. с англ.: Г. В. Давыдова, Г. Е. Минца, А. В. Сочилиной; Под ред. С. Ю. Маслова . - Москва : Наука, 1983 . - 360 с. - (Математическая логика и основания математики) . - Библиогр.: с. 333-349 . - На рус. яз. : 2.20 .
00000000718117 МАТН 51мл Ч-438
00000000718118 МАТН 51мл Ч-438
00000000718119 МАТН 51мл Ч-438
51мл Ч-438
Чень, Ч.
Математическая логика и автоматическое доказательство теорем / Ч. Чень, Р. Ли; Пер. с англ.: Г. В. Давыдова, Г. Е. Минца, А. В. Сочилиной; Под ред. С. Ю. Маслова . - Москва : Наука, 1983 . - 360 с. - (Математическая логика и основания математики) . - Библиогр.: с. 333-349 . - На рус. яз. : 2.20 .
00000000718117 МАТН 51мл Ч-438
00000000718118 МАТН 51мл Ч-438
00000000718119 МАТН 51мл Ч-438