Journal of automated reasoning文章索引

期刊名：Journal of automated reasoning

缩写：J AUTOM REASONING

ISSN：0168-7433

e-ISSN：1573-0670

IF/分区：0.7/Q4

共收录本刊相关文章索引961条

Gentzen-type systems, resolution and tableaux [0.03%] 根岑型系统、归结与树形图

Arnon Avron Arnon Avron

Journal of automated reasoning. 1993;10(2):265-281. DOI:10.1007/bf00881838 1993

Computer proofs in Group Theory [0.03%] 群论中的计算机证明

Yuan Yu Yuan Yu

Journal of automated reasoning. 1990;6(3):251-286. DOI:10.1007/bf00244488 1990

Errata [0.03%] 勘误

Journal of automated reasoning. 1988;4(1):109-111. DOI:10.1007/bf00244515 1988

The problem of choosing between predicate and function notation for problem representation [0.03%] 问题表示中谓词与函数符号的选用问题

Larry Wos Larry Wos

Journal of automated reasoning. 1990;6(4):463-464. DOI:10.1007/bf00244358 1990

Parthenon: A parallel theorem prover for non-horn clauses [0.03%] 帕特农神庙：一种用于非霍恩子句的并行定理证明器

Soumitra Bose; Edmund M. Clarke; David E. Long; Spiro Michaylov Soumitra Bose; Edmund M. Clarke; David E. Long; Spiro Michaylov

Journal of automated reasoning. 1992;8(2):153-181. DOI:10.1007/bf00244281 1992

The problem of choosing the type of subsumption to use [0.03%] 选择使用哪种子类化类型的问题

Larry Wos Larry Wos

Journal of automated reasoning. 1991;7(3):435-438. DOI:10.1007/bf00249023 1991

The problem of finding a mapping between clause representation and natural-deduction representation [0.03%] 寻找子句表示与自然演绎表示之间映射的问题

Larry Wos Larry Wos

Journal of automated reasoning. 1990;6(2):211-212. DOI:10.1007/bf00245820 1990

Circumscription and implicit definability [0.03%] 限定与隐式可定义性

Jon Doyle Jon Doyle

Journal of automated reasoning. 1985;1(4):391-405. DOI:10.1007/bf00244277 1985

Using hints to increase the effectiveness of an automated reasoning program: Case studies [0.03%] 利用提示提高自动推理程序的效率：案例研究

Robert Veroff Robert Veroff

Journal of automated reasoning. 1996;16(3):223-239. DOI:10.1007/bf00252178 1996

Algorithms for finding matrix models of propositional calculi [0.03%] 寻找命题演算矩阵模型的算法

Paul Pritchard Paul Pritchard

Journal of automated reasoning. 1991;7(4):475-487. DOI:10.1007/bf01880325 1991