Библиография Лаврова И.А.


Cohen P.F.
[1969]
Decision procedures for real and p-adic fields
Comment. Pure Appl. Math., 22, № 2 , 131-151
70.06.282
article

Вернуться к поиску