Journal of automated reasoning文章索引

期刊名：Journal of automated reasoning

缩写：J AUTOM REASONING

ISSN：0168-7433

e-ISSN：1573-0670

IF/分区：0.9/Q4

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

Errata [0.03%] 勘误

Journal of automated reasoning. 1988;4(2):235-236. DOI:10.1007/bf00244398 1988

A decidable first-order logic for knowledge representation [0.03%] 用于知识表示的一阶可判定逻辑

Peter F. Patel-Schneider Peter F. Patel-Schneider

Journal of automated reasoning. 1990;6(4):361-388. DOI:10.1007/bf00244354 1990

Publisher's announcement [0.03%] 出版社的公告

Journal of automated reasoning. 1990;6(4):iii-0. DOI:10.1007/bf00244353 1990

The problem of explaining the disparate performance of hyperresolution and paramodulation [0.03%] 解释超分辨率与参数化消解之间表现差异的问题

Larry Wos Larry Wos

Journal of automated reasoning. 1988;4(2):215-217. DOI:10.1007/bf00244395 1988

An integral theorem prover and the role of proof planning [0.03%] 一个完整的定理证明器及证明规划的作用

James D. Baker; Shahriar Zand-Biglari James D. Baker; Shahriar Zand-Biglari

Journal of automated reasoning. 1992;8(2):275-295. DOI:10.1007/bf00244284 1992

On the role of automated theorem proving in the compile-time derivation of concurrency [0.03%] 自动定理证明在编译时推导并发性中的作用

Christian Lengauer Christian Lengauer

Journal of automated reasoning. 1985;1(1):75-101. DOI:10.1007/bf00244290 1985

The lion and the unicorn [0.03%] 狮子与独角兽

H. J. Ohlbach; M. Schmidt-Schauss H. J. Ohlbach; M. Schmidt-Schauss

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

Addresses of Editorial Board [0.03%] 编委会地址

Journal of automated reasoning. 1991;7(1):165-167. DOI:10.1007/bf00249359 1991

Autoepistemic circumscription and logic programming [0.03%] 自动认识论限制与逻辑编程

Li Yan Yuan; Jia-Huai You Li Yan Yuan; Jia-Huai You

Journal of automated reasoning. 1993;10(2):143-160. DOI:10.1007/bf00881833 1993

Mechanical verification of strategies [0.03%] 策略的机械验证

Sakthi Subramanian Sakthi Subramanian

Journal of automated reasoning. 1995;15(1):69-93. DOI:10.1007/bf00881831 1995