相关论文数: 2
Franz Winkler
研究机构: —
Quantifier elimination in real closed fields
引用数: 2 • 1996
Real Algebra
引用数: 2 • 1993