Journal of automated reasoning文章索引

期刊名：Journal of automated reasoning

缩写：J AUTOM REASONING

ISSN：0168-7433

e-ISSN：1573-0670

IF/分区：0.7/Q4

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

Book received [0.03%] 书已收到

Journal of automated reasoning. 1988;4(1):113-0. DOI:10.1007/bf00244516 1988

Logic, topology, and integration [0.03%] 逻辑、拓扑与积分

Karl Schlechta Karl Schlechta

Journal of automated reasoning. 1995;14(3):353-381. DOI:10.1007/bf00881713 1995

Branching rules for satisfiability [0.03%] 可满足性的分支规则

J. N. Hooker; V. Vinay J. N. Hooker; V. Vinay

Journal of automated reasoning. 1995;15(3):359-383. DOI:10.1007/bf00881805 1995

More on the problem of finding a mapping between clause representation and natural-deduction representation [0.03%] 关于在子句表示与自然演绎表示之间寻找映射这一问题的更多内容

Peter B. Andrews Peter B. Andrews

Journal of automated reasoning. 1991;7(2):285-286. DOI:10.1007/bf00243811 1991

Linear and unit-resulting refutations for Horn theories [0.03%] 针对Horn理论的线性且单位结果反证法

Peter Baumgartner Peter Baumgartner

Journal of automated reasoning. 1996;16(3):241-319. DOI:10.1007/bf00252179 1996

Errata [0.03%] 勘误

Journal of automated reasoning. 1991;7(1):163-0. DOI:10.1007/bf00249358 1991

SETHEO: A high-performance theorem prover [0.03%] SETHEO：一款高性能定理证明器

R. Letz; J. Schumann; S. Bayerl; W. Bibel R. Letz; J. Schumann; S. Bayerl; W. Bibel

Journal of automated reasoning. 1992;8(2):183-212. DOI:10.1007/bf00244282 1992

SLDNF-resolution with equality [0.03%] 带等式的SLDNF归结法

J. C. Shepherdson J. C. Shepherdson

Journal of automated reasoning. 1992;8(2):297-306. DOI:10.1007/bf00244285 1992

The problem of choosing between using and avoiding equality predicates [0.03%] 选择使用或避免等值谓词的问题

Larry Wos Larry Wos

Journal of automated reasoning. 1992;8(2):307-309. DOI:10.1007/bf00244286 1992

Towards mechanical metamathematics [0.03%] 迈向机械元数学

N. Shankar N. Shankar

Journal of automated reasoning. 1985;1(4):407-434. DOI:10.1007/bf00244278 1985