Journal of automated reasoning文章索引

期刊名：Journal of automated reasoning

缩写：J AUTOM REASONING

ISSN：0168-7433

e-ISSN：1573-0670

IF/分区：0.9/Q4

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

OTTER and the Moufang identity problem [0.03%] 海獭与穆方恒等式问题

Wos Larry Wos Larry

Journal of automated reasoning. 1996;17(2):215-257. DOI:10.1007/bf00244497 1996

Automated proofs of Löb's theorem and Gödel's two incompletensess theorems [0.03%] 洛巴特定理与哥德尔两个不完备性定理的自动化证明

Art Quaife Art Quaife

Journal of automated reasoning. 1988;4(2):219-231. DOI:10.1007/bf00244396 1988

A set-theoretic translation method for polymodal logics [0.03%] 一种用于多模态逻辑的集合论翻译方法

G. D'Agostino; A. Montanari; A. Policriti G. D'Agostino; A. Montanari; A. Policriti

Journal of automated reasoning. 1995;15(3):317-337. DOI:10.1007/bf00881803 1995

Non-horn problems [0.03%] 非喇叭问题

Ewing Lusk; Ross Overbeek Ewing Lusk; Ross Overbeek

Journal of automated reasoning. 1985;1(1):103-114. DOI:10.1007/bf00244291 1985

Experiments with semantic paramodulation [0.03%] 语义参数化消解的实验

William McCune; Lawrence Henschen William McCune; Lawrence Henschen

Journal of automated reasoning. 1985;1(3):231-261. DOI:10.1007/bf00244271 1985

Challenge problems in elementary calculus [0.03%] 初等微积分中的挑战性问题

W. W. Bledsoe W. W. Bledsoe

Journal of automated reasoning. 1990;6(3):341-359. DOI:10.1007/bf00244493 1990

Equivalence of propositional Prolog programs [0.03%] 命题逻辑程序的等价性

Hans Kleine Büning; Ulrich Löwen; Stefan Schmitgen Hans Kleine Büning; Ulrich Löwen; Stefan Schmitgen

Journal of automated reasoning. 1990;6(3):319-335. DOI:10.1007/bf00244491 1990

The linked inference principle, I: The formal treatment [0.03%] 关联推理原则，一：形式化处理

Robert Veroff; Larry Wos Robert Veroff; Larry Wos

Journal of automated reasoning. 1992;8(2):213-274. DOI:10.1007/bf00244283 1992

Editorial: A journal is born [0.03%] 社论：一本期刊诞生了

Larry Wos Larry Wos

Journal of automated reasoning. 1985;1(1):1-3. DOI:10.1007/bf00244287 1985

Hilbert's Twenty-Fourth Problem [0.03%] 希尔伯特的第二十四问题

Ruediger Thiele; Larry Wos Ruediger Thiele; Larry Wos

Journal of automated reasoning. 2002;29(1):67-89. DOI:10.1023/a:1020537107897 2002