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 条
[71]  
[No title captured]
[72]  
[No title captured]
[73]  
[No title captured]
[74]  
[No title captured]
[75]  
[No title captured]
[76]  
[No title captured]
[77]  
[No title captured]
[78]  
[No title captured]
[79]  
[No title captured]
[80]  
[No title captured]
234567891011