REALIZATION OF A GEOMETRY THEOREM PROVING MACHINE

被引：0
|
作者：
GELERNTER, H
机构：
来源：
COMMUNICATIONS OF THE ACM | 1959年 / 2卷 / 07期
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：19 / 19
页数：1
相关论文
共 50 条
  • [1] Mechanical theorem proving in geometry
    Jun-Yu, Gao
    Cheng-Dong, Zhang
    [J]. Telkomnika - Indonesian Journal of Electrical Engineering, 2012, 10 (07): : 1554 - 1559
  • [2] A REPORT ON MECHANICAL GEOMETRY THEOREM PROVING
    吴文俊
    [J]. Progress in Natural Science:Materials International, 1992, (01) : 1 - 17
  • [3] Ordering in mechanical geometry theorem proving
    Hongbo Li
    [J]. Science in China Series A: Mathematics, 1997, 40 : 225 - 233
  • [4] Ordering in mechanical geometry theorem proving
    李洪波￥
    [J]. ScienceinChina,Ser.A., 1997, Ser.A.1997 (03) - 233
  • [5] A reification of a strategy for geometry theorem proving
    Matsuda, N
    VanLehn, K
    [J]. INTELLIGENT TUTORING SYSTEMS, PROCEEDINGS, 2000, 1839 : 660 - 660
  • [6] Mechanical theorem proving in computational geometry
    Meikle, LI
    Fleuriot, JD
    [J]. AUTOMATED DEDUCTION IN GEOMETRY, 2006, 3763 : 1 - 18
  • [7] Ordering in mechanical geometry theorem proving
    Li, HB
    [J]. SCIENCE IN CHINA SERIES A-MATHEMATICS PHYSICS ASTRONOMY, 1997, 40 (03): : 225 - 233
  • [8] A METHOD FOR MECHANICAL GEOMETRY THEOREM PROVING
    WU Jinzhao(Institute of Systems Science
    [J]. Journal of Systems Science & Complexity, 1996, (04) : 313 - 318
  • [9] Ordering in mechanical geometry theorem proving
    李洪波￥
    [J]. Science China Mathematics, 1997, (03) : 225 - 233
  • [10] Multimodal system for mechanical geometry theorem proving
    Yuan, XH
    Zhao, K
    Wang, J
    [J]. CRITICAL TECHNOLOGY: PROCEEDINGS OF THE THIRD WORLD CONGRESS ON EXPERT SYSTEMS, VOLS I AND II, 1996, : 284 - 291
12345