libcats.org
Главная

Collins. Quantifier elimination for real closed fields by CAD (LNCS 33, p. 134, 1975)(25s).djvu

Collins. Quantifier elimination for real closed fields by CAD (LNCS 33, p. 134, 1975)(25s).djvu

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

The Food of a Younger Land

Категория: fiction
2.05 Mb