Journal of automated reasoning文章索引

期刊名：Journal of automated reasoning

缩写：J AUTOM REASONING

ISSN：0168-7433

e-ISSN：1573-0670

IF/分区：0.7/Q4

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

Mechanizing Metatheory Without Typing Contexts [0.03%] 在不使用类型上下文的情况下实现元理论的机械化

Park, Jonghyun; Seo, Jeongbong; Park et al. Park et al.

Journal of Automated Reasoning. 2014;52(2):215-239. DOI:10.1007/s10817-013-9287-4 2014

A comparison of the variable-abstraction and constant-abstraction methods for associative-commutative unification [0.03%] 关联-交换统一中变量抽象与常量抽象方法的比较

Mark E. Stickel Mark E. Stickel

Journal of automated reasoning. 1987;3(3):285-289. DOI:10.1007/bf00243792 1987

Duality for Goal-Driven Query Processing in Disjunctive Deductive Databases [0.03%] 析取演绎数据库中面向目标的查询处理的二元性

Adnan H. Yahya Adnan H. Yahya

Journal of automated reasoning. 2002;28(1):1-34. DOI:10.1023/a:1020109502432 2002

Modular and Incremental Automated Termination Proofs [0.03%] 模块化与增量式自动终止证明

Xavier Urbain Xavier Urbain

Journal of automated reasoning. 2004;32(4):315-355. DOI:10.1007/bf03177743 2004

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

Journal of automated reasoning. 1991;7(1):v-0. DOI:10.1007/bf00249352 1991

Formally Verified Tableau-Based Reasoners for a Description Logic [0.03%] 基于表观的描述逻辑形式化验证推理机

Hidalgo-Doblado, M. J.; Alonso-JimÃ©nez, J. A.; Borrego-DÃaz et al. Hidalgo-Doblado et al.

Journal of Automated Reasoning. 2014;52(3):331-360. DOI:10.1007/s10817-013-9291-8 2014

Author Index to Volume 30 [0.03%] 第30卷作者索引

Journal of automated reasoning. 2003;30(3-4):445-445. DOI:10.1023/a:1025000828525 2003

Case studies of Z-module reasoning: Proving benchmark theorems from ring theory [0.03%] Z-模推理的案例研究：证明环论中的基准定理

Tie-Cheng Wang Tie-Cheng Wang

Journal of automated reasoning. 1987;3(4):437-451. DOI:10.1007/bf00247439 1987

A mechanical proof of Quadratic Reciprocity [0.03%] 二次互反律的机械证明

David M. Russinoff David M. Russinoff

Journal of automated reasoning. 1992;8(1):3-21. DOI:10.1007/bf00263446 1992

Approaching hard non-classical problems [0.03%] 逼近困难的非经典问题

Paul B. Thistlewaite; Michael A. McRobbie Paul B. Thistlewaite; Michael A. McRobbie

Journal of automated reasoning. 1991;7(4):635-637. DOI:10.1007/bf01880333 1991