Journal of automated reasoning文章索引

期刊名：Journal of automated reasoning

缩写：J AUTOM REASONING

ISSN：0168-7433

e-ISSN：1573-0670

IF/分区：0.7/Q4

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

A model-based belief revision system [0.03%] 一种基于模型的信念修正系统

Timothy S. C. Chou; Marianne Winslett Timothy S. C. Chou; Marianne Winslett

Journal of automated reasoning. 1994;12(2):157-208. DOI:10.1007/bf00881886 1994

The problem of guaranteeing the existence of a complete set of reductions [0.03%] 保证存在一组完备约简的问题

Larry Wos Larry Wos

Journal of automated reasoning. 1989;5(3):399-401. DOI:10.1007/bf00248325 1989

Single axioms for groups and Abelian groups with various operations [0.03%] 带有各种运算的群与阿贝尔群的单一公理体系

William W. McCune William W. McCune

Journal of automated reasoning. 1993;10(1):1-13. DOI:10.1007/bf00881862 1993

A Deductive Database Approach to Automated Geometry Theorem Proving and Discovering [0.03%] 一种基于演绎数据库的几何定理自动证明与发现方法

Shang-Ching Chou; Xiao-Shan Gao; Jing-Zhong Zhang Shang-Ching Chou; Xiao-Shan Gao; Jing-Zhong Zhang

Journal of automated reasoning. 2000;25(3):219-246. DOI:10.1023/a:1006171315513 2000

On Equivalents of Well-Foundedness [0.03%] 关于良基性的等价形式

Piotr Rudnicki; Andrzej Trybulec Piotr Rudnicki; Andrzej Trybulec

Journal of automated reasoning. 1999;23(3):197-234. DOI:10.1023/a:1006218513245 1999

A Full Formalization of SLD-Resolution in the Calculus of Inductive Constructions [0.03%] 归纳构造演算中SLD归结的完全形式化

M. Jaume M. Jaume

Journal of automated reasoning. 1999;23(3):347-371. DOI:10.1023/a:1006242018697 1999

Proof strategies in linear logic [0.03%] 线性逻辑中的证明策略

Tanel Tammet Tanel Tammet

Journal of automated reasoning. 1994;12(3):273-304. DOI:10.1007/bf00885763 1994

A Ramsey theorem in Boyer-Moore logic [0.03%] Boyer-Moore逻辑中的拉姆齐定理

Kenneth Kunen Kenneth Kunen

Journal of automated reasoning. 1995;15(2):217-235. DOI:10.1007/bf00881917 1995

Efficient Algorithms to Detect and Restore Minimality, an Extension of the Regular Restriction of Resolution [0.03%] 用于检测与恢复极小性的高效算法——归结规则的正则限制的扩展

Bruce Spencer; J. D. Horton Bruce Spencer; J. D. Horton

Journal of automated reasoning. 2000;25(1):1-34. DOI:10.1023/a:1006241826565 2000

Multi-Attacker Protocol Validation [0.03%] 多攻击者协议验证

Wihem Arsac; Giampaolo Bella; Xavier Chantry; Luca Compagna Wihem Arsac; Giampaolo Bella; Xavier Chantry; Luca Compagna

Journal of automated reasoning. 2011;46(3-4):353-388. DOI:10.1007/s10817-010-9185-y 2011