Journal of automated reasoning文章索引

期刊名：Journal of automated reasoning

缩写：J AUTOM REASONING

ISSN：0168-7433

e-ISSN：1573-0670

IF/分区：0.7/Q4

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

Organizing Numerical Theories Using Axiomatic Type Classes [0.03%] 使用公理化类型类组织数值理论

Lawrence C. Paulson Lawrence C. Paulson

Journal of automated reasoning. 2004;33(1):29-49. DOI:10.1007/s10817-004-3997-6 2004

A Proof Environment for Teaching Mathematics [0.03%] 数学教学的证明环境

Richard Sommer; Gregory Nuckols Richard Sommer; Gregory Nuckols

Journal of automated reasoning. 2004;32(3):227-258. DOI:10.1007/s10817-004-5097-z 2004

Constraint Solving for Proof Planning [0.03%] 用于证明规划的约束求解

Jürgen Zimmer; Erica Melis Jürgen Zimmer; Erica Melis

Journal of automated reasoning. 2004;33(1):51-88. DOI:10.1007/s10817-004-2725-6 2004

Representing and Building Models for Decidable Subclasses of Equational Clausal Logic [0.03%] 等式子句逻辑可判定子类的表示与建模

N. Peltier N. Peltier

Journal of automated reasoning. 2004;33(2):133-170. DOI:10.1007/s10817-004-5555-7 2004

Unification ModuloACUIPlus Distributivity Axioms [0.03%] 统一模ACUIPlus 分配律公理

Siva Anantharaman; Paliath Narendran; Michael Rusinowitch Siva Anantharaman; Paliath Narendran; Michael Rusinowitch

Journal of automated reasoning. 2004;33(1):1-28. DOI:10.1007/s10817-004-2279-7 2004

An Algorithm for the Retrieval of Unifiers from Discrimination Trees [0.03%] 一种从判别树中检索合一器的算法

Hans de Nivelle Hans de Nivelle

Journal of automated reasoning. 1998;20(1-2):5-25. DOI:10.1023/a:1005992522805 1998

Performance Analysis and Functional Verification of the Stop-and-Wait Protocol in HOL [0.03%] HOL中停等协议的性能分析与功能验证

Osman Hasan; Sofiène Tahar Osman Hasan; Sofiène Tahar

Journal of automated reasoning. 2009;42(1):1-33. DOI:10.1007/s10817-008-9105-6 2009

Mechanized Semantics for the Clight Subset of the C Language [0.03%] C语言Clight子集的机械化语义

Sandrine Blazy; Xavier Leroy Sandrine Blazy; Xavier Leroy

Journal of automated reasoning. 2009;43(3):263-288. DOI:10.1007/s10817-009-9148-3 2009

Solution of the Robbins Problem [0.03%] 罗宾斯问题的解法

William Mccune William Mccune

Journal of automated reasoning. 1997;19(3):263-276. DOI:10.1023/a:1005843212881 1997

A Decision Procedure for Linear “Big O” Equations [0.03%] 线性“大O”方程的判定过程

Jeremy Avigad; Kevin Donnelly Jeremy Avigad; Kevin Donnelly

Journal of automated reasoning. 2007;38(4):353-373. DOI:10.1007/s10817-007-9066-1 2007