Journal of automated reasoning文章索引

期刊名：Journal of automated reasoning

缩写：J AUTOM REASONING

ISSN：0168-7433

e-ISSN：1573-0670

IF/分区：0.7/Q4

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

The problem of finding a strategy to control binary paramodulation [0.03%] 寻找一种控制二进制参数化归策略的问题

Larry Wos Larry Wos

Journal of automated reasoning. 1988;4(1):101-107. DOI:10.1007/bf00244514 1988

Automated reasoning in differential geometry and mechanics using the characteristic set method [0.03%] 利用特征集方法进行微分几何与力学中的自动推理

Shang-Ching Chou; Xiao-Shan Gao Shang-Ching Chou; Xiao-Shan Gao

Journal of automated reasoning. 1993;10(2):161-172. DOI:10.1007/bf00881834 1993

Announcements [0.03%] 公告

Journal of automated reasoning. 1988;4(1):115-116. DOI:10.1007/bf00244517 1988

A new methodology for query answering in default logics via structure-oriented theorem proving [0.03%] 一种基于结构导向定理证明的缺省逻辑查询回答新方法

T. Schaub T. Schaub

Journal of automated reasoning. 1995;15(1):95-165. DOI:10.1007/bf00881832 1995

Joseph S. Piazza Joseph S. Piazza

Journal of automated reasoning. 1990;6(3):299-317. DOI:10.1007/bf00244490 1990

Designing deductive databases [0.03%] 设计演绎数据库

Paul Helman; Robert Veroff Paul Helman; Robert Veroff

Journal of automated reasoning. 1988;4(1):29-68. DOI:10.1007/bf00244512 1988

Short proofs of the pigeonhole formulas based on the connection method [0.03%] 基于连接方法的鸽巢公式简短证明

W. Bibel W. Bibel

Journal of automated reasoning. 1990;6(3):287-297. DOI:10.1007/bf00244489 1990

On the completeness of SLDENF-resolution [0.03%] 关于SLDENF归结的完备性

Michael Thielscher Michael Thielscher

Journal of automated reasoning. 1996;17(2):199-214. DOI:10.1007/bf00244496 1996

Franz Baader; Bernhard Hollunder Franz Baader; Bernhard Hollunder

Journal of automated reasoning. 1995;15(1):41-68. DOI:10.1007/bf00881830 1995

Meta-level inference: Two applications [0.03%] 元级推理：两种应用

Alan Bundy; Leon Sterling Alan Bundy; Leon Sterling

Journal of automated reasoning. 1988;4(1):15-27. DOI:10.1007/bf00244511 1988