ВЕРСИЯ ДЛЯ СЛАБОВИДЯЩИХПоиск :
Личный кабинет :
Электронный каталог: Справочник индексов УДК
К списку индексов УДК
51 Ч-438
Сортировать по: заглавиюдате издания
Книга
Чень, Ч.
Математическая логика и автоматическое доказательство теорем
Наука, 1983 г.
ISBN отсутствует
НТБ МЭИ : Кх
Чень, Ч.
Математическая логика и автоматическое доказательство теорем
Наука, 1983 г.
ISBN отсутствует
НТБ МЭИ : Кх
Заказать 
На полку