Поиск :
Личный кабинет :
Электронный каталог: Справочник индексов УДК
К списку индексов УДК
Доступно
1 из 1
51 Л943
Сортировать по: заглавиюдате издания
Доступно
1 из 1
Книга
Люксембург, А. А.
Автоматизированное построение математических теорий
ISBN 5-354-01005-5
НТБ МЭИ : Кх
Люксембург, А. А.
Автоматизированное построение математических теорий
Серия: Relata Refero
Эдиториал УРСС, 2005 г.ISBN 5-354-01005-5
НТБ МЭИ : Кх
Заказать 
На полку