MODAL THEOREM-PROVING

被引：0
|
作者：
ABADI, M
MANNA, Z
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1986年 / 230卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：172 / 189
页数：18
相关论文
共 50 条
  • [31] THEOREM-PROVING SYSTEMS OF THE FORMEL PROJECT
    HUET, G
    LECTURE NOTES IN COMPUTER SCIENCE, 1986, 230 : 687 - 688
  • [32] AUTOMATIC THEOREM-PROVING IN THE ISDV SYSTEM
    BEIERLE, C
    OLTHOFF, W
    VOSS, A
    LECTURE NOTES IN COMPUTER SCIENCE, 1986, 230 : 670 - 671
  • [33] MECHANICAL THEOREM-PROVING IN PROJECTIVE GEOMETRY
    RICHTERGEBERT, J
    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 1995, 13 (1-2) : 139 - 172
  • [34] MECHANICAL THEOREM-PROVING BY MODEL ELIMINATION
    LOVELAND, DW
    JOURNAL OF THE ACM, 1968, 15 (02) : 236 - &
  • [35] PARALLEL THEOREM-PROVING WITH CONNECTION GRAPHS
    LOGANANTHARAJ, R
    MUELLER, RA
    LECTURE NOTES IN COMPUTER SCIENCE, 1986, 230 : 337 - 352
  • [36] Optical vector logic theorem-proving
    Westphal, J
    Caulfield, J
    Hardy, J
    Qian, L
    Proceedings of the 8th Joint Conference on Information Sciences, Vols 1-3, 2005, : 1323 - 1326
  • [37] LAMBEK THEOREM-PROVING AND FEATURE UNIFICATION
    VANDERLINDEN, EJ
    FOURTH CONFERENCE OF THE EUROPEAN CHAPTER OF THE ASSOCIATION FOR COMPUTATIONAL LINGUISTICS, 1989, : 190 - 196
  • [38] THEOREM-PROVING VERIFICATION FOR ASYNCHRONOUS CIRCUITS
    Nishimura, Shunji
    Amagasaki, Motoki
    Kuga, Morihiro
    Iida, Masahiro
    Sueyoshi, Toshinori
    INTERNATIONAL JOURNAL OF INNOVATIVE COMPUTING INFORMATION AND CONTROL, 2016, 12 (03): : 761 - 778
  • [39] THE KARLSRUHE INDUCTION THEOREM-PROVING SYSTEM
    BIUNDO, S
    HUMMEL, B
    HUTTER, D
    WALTHER, C
    LECTURE NOTES IN COMPUTER SCIENCE, 1986, 230 : 672 - 674
  • [40] Catagenesis condition for approximate theorem-proving
    Du, X.N.
    Li, L.
    Lanzhou Daxue Xuebao/Journal of Lanzhou University, 2001, 37 (03):
12345