Поиск :
Личный кабинет :
Электронный каталог: Чень, Ч. - Математическая логика и автоматическое доказательство теорем
Чень, Ч. - Математическая логика и автоматическое доказательство теорем
Доступно
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