NATURAL DEDUCTION AS HIGHER-ORDER RESOLUTION

被引：53
|
作者：
PAULSON, LC [1 ]
机构：
[1] UNIV CAMBRIDGE,COMP LAB,CAMBRIDGE CB2 3QG,ENGLAND
来源：
JOURNAL OF LOGIC PROGRAMMING | 1986年 / 3卷 / 03期
关键词：
D O I：
10.1016/0743-1066(86)90015-4
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：237 / 258
页数：22
相关论文
共 50 条
  • [41] Higher-Order Containers
    Altenkirch, Thorsten
    Levy, Paul
    Staton, Sam
    [J]. PROGRAMS, PROOFS, PROCESSES, 2010, 6158 : 11 - +
  • [42] HIGHER-ORDER APLANATISM
    SCHULZ, G
    [J]. OPTICS COMMUNICATIONS, 1982, 41 (05) : 315 - 319
  • [43] HIGHER-ORDER AUTOSHAPING
    LEYLAND, CM
    [J]. QUARTERLY JOURNAL OF EXPERIMENTAL PSYCHOLOGY, 1977, 29 (NOV): : 607 - 619
  • [44] Higher-order tableaux
    Kohlhase, M
    [J]. THEOREM PROVING WITH ANALYTIC TABLEAUX AND RELATED METHODS, 1995, 918 : 294 - 309
  • [45] Higher-Order Stereophony
    Hollebon, Jacob
    Fazi, Filippo Maria
    [J]. IEEE-ACM TRANSACTIONS ON AUDIO SPEECH AND LANGUAGE PROCESSING, 2023, 31 : 2872 - 2885
  • [46] Higher-order hierarchies
    Ernst, E
    [J]. ECOOP 2003 - OBJECT-ORIENTED PROGRAMMING, PROCEEDINGS, 2003, 2743 : 303 - 328
  • [47] Higher-order evidence
    Stephen R. Cole
    Bonnie E. Shook-Sa
    Paul N. Zivich
    Jessie K. Edwards
    David B. Richardson
    Michael G. Hudgens
    [J]. European Journal of Epidemiology, 2024, 39 : 1 - 11
  • [48] Higher-order learning
    Lewis S.
    [J]. Nature Reviews Neuroscience, 2021, 22 (2) : 75 - 75
  • [49] On higher-order discriminants
    Kostov, Vladimir Petrov
    [J]. BULLETIN DES SCIENCES MATHEMATIQUES, 2020, 160
  • [50] Higher-order president
    Qualls, Sarah
    [J]. AMERICAN JOURNAL OF NURSING, 2007, 107 (09) : 72AAA - +
12345