Journal of automated reasoning文章索引

期刊名：Journal of automated reasoning

缩写：J AUTOM REASONING

ISSN：0168-7433

e-ISSN：1573-0670

IF/分区：0.9/Q4

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

The problem of finding a semantic strategy for focusing inference rules [0.03%] 寻找用于聚焦推理规则的语义策略的问题

Larry Wos Larry Wos

Journal of automated reasoning. 1990;6(3):337-339. DOI:10.1007/bf00244492 1990

Discovering inequality conditions in the analytic solution of optimization problems [0.03%] 发现优化问题解析解中的不等式条件

Bruce W. Char; Alan R. Macnaughton; Paul A. Strooper Bruce W. Char; Alan R. Macnaughton; Paul A. Strooper

Journal of automated reasoning. 1989;5(3):339-362. DOI:10.1007/bf00248323 1989

Automated analysis of operators on state tables: A technique for intelligent search [0.03%] 状态表上操作符的自动化分析：一种智能搜索技术

Thomas Kramer Thomas Kramer

Journal of automated reasoning. 1986;2(2):127-153. DOI:10.1007/bf02432148 1986

An inexact reasoning algorithm based on fuzzy rule matrix transformations [0.03%] 一种基于模糊规则矩阵变换的不精确推理算法

Shyi-Ming Chen; Jyh-Sheng Ke; Jin-Fu Chang Shyi-Ming Chen; Jyh-Sheng Ke; Jin-Fu Chang

Journal of automated reasoning. 1992;8(1):77-90. DOI:10.1007/bf00263450 1992

Meeting the challenge of fifty years of logic [0.03%] 迎接五十年逻辑学的挑战

Larry Wos Larry Wos

Journal of automated reasoning. 1990;6(2):213-232. DOI:10.1007/bf00245821 1990

The problem of reasoning from inequalities [0.03%] 不等式推理问题

Larry Wos Larry Wos

Journal of automated reasoning. 1992;8(3):421-426. DOI:10.1007/bf02341857 1992

Stable and extension class theory for logic programs and default logics [0.03%] 逻辑程序与缺省逻辑的稳定性和扩展类理论

Chitta R. Baral; V. S. Subrahmanian Chitta R. Baral; V. S. Subrahmanian

Journal of automated reasoning. 1992;8(3):345-366. DOI:10.1007/bf02341854 1992

Subject Index to Volume 31 [0.03%] 第31卷主题索引

Journal of automated reasoning. 2003;31(3-4):373-0. DOI:10.1023/b:jars.0000021186.93911.99 2003

Preface to the special issue on Automated Mathematical induction [0.03%] 自动化数学归纳专题的前言

Hantao Zhang Hantao Zhang

Journal of automated reasoning. 1996;16(1-2):1-1. DOI:10.1007/bf00244457 1996

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