Поиск :
Личный кабинет :
Электронный каталог: Чень, Ч. - Математическая логика и автоматическое доказательство теорем
Чень, Ч. - Математическая логика и автоматическое доказательство теорем
Доступно
3 из 3
3 из 3
Книга
Автор: Чень, Ч.
Математическая логика и автоматическое доказательство теорем
Издательство: Наука, 1983 г.
ISBN отсутствует
Автор: Чень, Ч.
Математическая логика и автоматическое доказательство теорем
Издательство: Наука, 1983 г.
ISBN отсутствует
Заказать 
На полку
Книга
I-3 Ч-438
Чень, Ч.
Математическая логика и автоматическое доказательство теорем / Ч. Чень, Р. Ли, С. Ю. Маслов . – М. : Наука, 1983 . – 358 с. + Библиогр.: с. 333-349 : руб. 2.20 .
510.6+519.6
Общий = Математика : логика
554455 01:Книгохранение
554456 01:Книгохранение
557599 01:Книгохранение
I-3 Ч-438
Чень, Ч.
Математическая логика и автоматическое доказательство теорем / Ч. Чень, Р. Ли, С. Ю. Маслов . – М. : Наука, 1983 . – 358 с. + Библиогр.: с. 333-349 : руб. 2.20 .
510.6+519.6
Общий = Математика : логика
554455 01:Книгохранение
554456 01:Книгохранение
557599 01:Книгохранение