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
Популярные книги за неделю:
Только что пользователи скачали эти книги:
#6
История внешней политики СССР 1917-1980 гг. Том первый (1917-1945).
Под редакцией А.А.Громыко, Б.Н.Пономарева. Авторы первого тома: А.В.Березкин, И.Н.Земсков, И.Ф.Ивашин, В.Л.Исраэлян, М.С.Капица, И.К.Кобляков, И.И.Минц, В.И.Попов, А.А.Рощин, В.М.Хвостов.
|