Search for persons
X
?
Advanced Technologies, Systems, and Applications III; Lecture Notes in Networks and Systems ,
1
Quantifier Elimination in ACF and RCF:
, In:
?
Recent Advances in Multidisciplinary Applied Physics ,
2