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