Люксембург А.А.

А.А. Люксембург


Произведения автора1

Автоматизированное построение математических теорий

 

Нет в продаже

бумажная книга

Автоматизированное...

А.А. Люксембург

Изучается возможность автоматизированного построения математических теорий. Рассматривается...

0 отзывов