Электронный каталог -Люксембург, А. А. - Автоматизированное построение математических теорий- Absopac

Поиск :

Личный кабинет :

Электронный каталог: Люксембург, А. А. - Автоматизированное построение математических теорий

Люксембург, А. А. - Автоматизированное построение математических теорий

Доступно
1 из 1

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

Заказать

На полку

Книга
УДК 51 Л943

Люксембург, А. А.
Автоматизированное построение математических теорий / А. А. Люксембург. – М. : Эдиториал УРСС, 2005. – 32 с. – (Relata Refero). – ISBN 5-354-01005-5.

51 Л943

Тезаурус = ГАСНТИ 27.01.85
Тезаурус = ГАСНТИ 27.03
Тезаурус = Математика : общие вопросы : автоматизация и автоматизированные системы
Тезаурус = Математика : основания математики и математическая логика

Кх - 1 экз.