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 条

[21] Higher-order symmetric duality with higher-order generalized invexity
Padhan S.K.
Nahak C.
[J]. Journal of Applied Mathematics and Computing, 2015, 48 (1-2) : 407 - 420
[22] HIGHER-ORDER OPTIMALITY CONDITIONS AND HIGHER-ORDER TANGENT SETS
Penot, Jean-Paul
[J]. SIAM JOURNAL ON OPTIMIZATION, 2017, 27 (04) : 2508 - 2527
[23] Typed higher-order narrowing without higher-order strategies
Antoy, S
Tolmach, A
[J]. FUNCTIONAL AND LOGIC PROGRAMMING, PROCEEDINGS, 1999, 1722 : 335 - 352
[24] Comparing approaches to resolution based higher-order theorem proving
Benzmüller, C
[J]. SYNTHESE, 2002, 133 (1-2) : 203 - 235
[25] Higher-order resolution of the time-dependent Schrodinger equation
Baye, D
Capel, P
Goldstein, G
[J]. NEW ERA OF NUCLEAR STRUCTURE PHYSICS, 2004, : 119 - 123
[26] LEARNING AND APPLYING GENERALIZED SOLUTIONS USING HIGHER-ORDER RESOLUTION
DONAT, MR
WALLEN, LA
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1988, 310 : 41 - 60
[27] Comparing Approaches To Resolution Based Higher-Order Theorem Proving
Christoph Benzmüller
[J]. Synthese, 2002, 133 : 203 - 335
[28] HIGHER-ORDER CONSERVATION-LAWS AND A HIGHER-ORDER NOETHERS THEOREM
CHEUNG, WS
[J]. ADVANCES IN APPLIED MATHEMATICS, 1987, 8 (04) : 446 - 485
[29] HIGHER-ORDER PARTIAL VELOCITIES IN HIGHER-ORDER NONLINEAR NONHOLONOMIC SYSTEMS
HE, YQ
[J]. INTERNATIONAL JOURNAL OF NON-LINEAR MECHANICS, 1991, 26 (05) : 455 - 459
[30] Higher-order redundancies of natural scenes and their relation to biological vision
Krieger, G.
Zetzsche, C.
[J]. PERCEPTION, 1998, 27 : 11 - 12

← 1 2 3 4 5 →