libcats.org
Главная

Dolzmann, Sturm, Weispfenning. Real quantifier elimination in practice, survey (TR MIP-9720, 1997)(25s).p.gz

Нет обложки

Dolzmann, Sturm, Weispfenning. Real quantifier elimination in practice, survey (TR MIP-9720, 1997)(25s).p.gz

Популярные книги за неделю:
Только что пользователи скачали эти книги: