Электронный каталог

Книга
УДК 51 Л943

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

51 Л943

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

Кх - 1 экз.