A BIBLIOGRAPHY OF QUANTIFIER ELIMINATION FOR REAL CLOSED FIELDS

被引：16
作者：
ARNON, DS
机构：
来源：
JOURNAL OF SYMBOLIC COMPUTATION | 1988年 / 5卷 / 1-2期
关键词：
D O I：
10.1016/S0747-7171(88)80016-6
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：267 / 274
页数：8
相关论文
共 109 条
[91]  
[No title captured]
[92]  
[No title captured]
[93]  
[No title captured]
[94]  
[No title captured]
[95]  
[No title captured]
[96]  
[No title captured]
[97]  
[No title captured]
[98]  
[No title captured]
[99]  
[No title captured]
[100]  
[No title captured]
234567891011