Journal of automated reasoning文章索引

期刊名：Journal of automated reasoning

缩写：J AUTOM REASONING

ISSN：0168-7433

e-ISSN：1573-0670

IF/分区：0.7/Q4

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

Formal Verification of a Partial-Order Reduction Technique for Model Checking [0.03%] 模型检验中部分序约简技术的形式化验证

Ching-Tsun Chou; Doron Peled Ching-Tsun Chou; Doron Peled

Journal of automated reasoning. 1999;23(3):265-298. DOI:10.1023/a:1006225515062 1999

Reasoning Theories [0.03%] 推理理论

F. Giunchiglia; P. Pecchiari; C. Talcott F. Giunchiglia; P. Pecchiari; C. Talcott

Journal of automated reasoning. 2001;26(3):291-331. DOI:10.1023/a:1006407208923 2001

Assumption–Commitment Support for CSP Model Checking [0.03%] 假设—承诺支持的CSP模型检验

Nick Moffat; Michael Goldsmith Nick Moffat; Michael Goldsmith

Journal of automated reasoning. 2008;41(3-4):365-398. DOI:10.1007/s10817-008-9111-8 2008

Editorial announcement A new column: Basic research problems [0.03%] 编者按：新增专栏——基础研究问题

Journal of automated reasoning. 1986;2(4):iii-0. DOI:10.1007/bf00248248 1986

Hierarchical deduction [0.03%] 层次化推理

Tie-Cheng Wang; W. W. Bledsoe Tie-Cheng Wang; W. W. Bledsoe

Journal of automated reasoning. 1987;3(1):35-77. DOI:10.1007/bf00381144 1987

Automated Proofs for Asymmetric Encryption [0.03%] 非对称加密的自动化证明

J. Courant; M. Daubignard; C. Ene; P. Lafourcade; Y. Lakhnech J. Courant; M. Daubignard; C. Ene; P. Lafourcade; Y. Lakhnech

Journal of automated reasoning. 2011;46(3-4):261-291. DOI:10.1007/s10817-010-9186-x 2011

Vectorial Equations Solving for Mechanical Geometry Theorem Proving [0.03%] 用于机械几何定理证明的向量方程求解

Hongbo Li Hongbo Li

Journal of automated reasoning. 2000;25(2):83-121. DOI:10.1023/a:1006182023017 2000

A generalization of analytic deduction via labelled deductive systems. Part I: Basic substructural logics [0.03%] 通过标记演绎系统对分析性演绎的推广。第一部分：基本亚结构逻辑

Marcello D'Agostino; Dov M. Gabbay Marcello D'Agostino; Dov M. Gabbay

Journal of automated reasoning. 1994;13(2):243-281. DOI:10.1007/bf00881958 1994

The problem of strategy and hyperresolution [0.03%] 战略与超分辨率问题

Larry Wos Larry Wos

Journal of automated reasoning. 1994;12(1):133-134. DOI:10.1007/bf00881847 1994

Ordered Semantic Hyper-Linking [0.03%] 有序语义超链接

David A. Plaisted; Yunshan Zhu David A. Plaisted; Yunshan Zhu

Journal of automated reasoning. 2000;25(3):167-217. DOI:10.1023/a:1006376231563 2000