Полное описание

Люксембург, А. А. Автоматизированное построение математических теорий / А. А. Люксембург. - М. : УРСС ; [Б. м.] : Едиториал УРСС, 2005. - 30 с. - (Relata Refero). - Библиогр.: с. 30 (15 назв.). - 500 экз. - ISBN 5-354-01005-5. - Текст : непосредственный.

ГРНТИ	УДК
27.03.19	510.7
03.91

Рубрики:
Доказательств теория

Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Д9-05/8792)

Шифр в сводном ЭК: 3c9175f85ee9d426157ec23850688b2f

Заказать издание
Заказ фрагмента документа ₽