Bridging theorem proving and mathematical knowledge retrieval

被引：0
|
作者：
Benzmüller, C [1 ]
Meier, A [1 ]
Sorge, V [1 ]
机构：
[1] Univ Saarland, D-6600 Saarbrucken, Germany
来源：
MECHANIZING MATHEMATICAL REASONING: ESSAYS IN HONOUR OF JORG H SIEKMANN ON THE OCCASION OF HIS 60TH BIRTHDAY | 2005年 / 2605卷
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
引用
收藏
页码：277 / 296
页数：20
相关论文
共 50 条
  • [41] Calculation by Tactic in Theorem Proving
    Li, Bing
    Zhang, Jian
    Su, Wei
    Li, Lian
    2012 WORLD AUTOMATION CONGRESS (WAC), 2012,
  • [42] Logical errors on proving theorem
    Sari, C. K.
    Waluyo, M.
    Ainur, C. M.
    Darmaningsih, E. N.
    1ST INTERNATIONAL CONFERENCE OF EDUCATION ON SCIENCES, TECHNOLOGY, ENGINEERING, AND MATHEMATICS (ICE-STEM), 2018, 948
  • [43] CONCEPT OF DEMODULATION IN THEOREM PROVING
    WOS, L
    ROBINSON, GA
    CARSON, DF
    SHALLA, L
    JOURNAL OF THE ACM, 1967, 14 (04) : 698 - &
  • [44] MODAL THEOREM-PROVING
    ABADI, M
    MANNA, Z
    LECTURE NOTES IN COMPUTER SCIENCE, 1986, 230 : 172 - 189
  • [45] Theorem proving for intensional logic
    1600, Kluwer Academic Publishers, Dordrecht, Netherlands (14):
  • [46] Automating Theorem Proving with SMT
    Leino, K. Rustan M.
    INTERACTIVE THEOREM PROVING, ITP 2013, 2013, 7998 : 2 - 16
  • [47] Mechanical theorem proving in geometry
    Jun-Yu, Gao
    Cheng-Dong, Zhang
    Telkomnika - Indonesian Journal of Electrical Engineering, 2012, 10 (07): : 1554 - 1559
  • [48] Theorem proving update - Response
    Sergei, S
    DR DOBBS JOURNAL, 1998, 23 (10): : 14 - 14
  • [49] COMPUTER THEOREM PROVING AND HOTT
    Leslie-Hurd, Joe
    Haworth, G. Mc C.
    ICGA JOURNAL, 2013, 36 (02) : 100 - 103
  • [50] ON AUTOMATED THEOREM-PROVING
    RUSSELL, S
    WHEELER, T
    ANNALS OF THE NEW YORK ACADEMY OF SCIENCES, 1992, 661 : 160 - 173
12345