学术探索
学术期刊
新闻热点
数据分析
智能评审

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