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