Journal of automated reasoning文章索引

期刊目录筛选

期刊名：Journal of automated reasoning

缩写：J AUTOM REASONING

ISSN：0168-7433

e-ISSN：1573-0670

IF/分区：0.7/Q4

文章目录更多期刊信息

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

Controlled integration of the cut rule into connection tableau calculi [0.03%] 将切断规则可控地整合到连接表 tableau 计算中

R. Letz; K. Mayr; C. Goller R. Letz; K. Mayr; C. Goller

Journal of automated reasoning. 1994;13(3):297-337. DOI:10.1007/bf00881947 1994

Bounded-overhead caching for definite-clause theorem proving [0.03%] 确定性子句定理证明的开销受限缓存

Alberto Segre; Daniel Scharstein Alberto Segre; Daniel Scharstein

Journal of automated reasoning. 1993;11(1):83-113. DOI:10.1007/bf00881901 1993

Theorem proving for intensional logic [0.03%] 内涵逻辑的定理证明

Allan Ramsay Allan Ramsay

Journal of automated reasoning. 1995;14(2):237-255. DOI:10.1007/bf00881857 1995

Uncertainty management with imprecise knowledge with application to design [0.03%] 基于不精确知识的不确定性管理及其在设计中的应用

Donald E. Brown; Wendy J. Markert Donald E. Brown; Wendy J. Markert

Journal of automated reasoning. 1992;9(2):217-230. DOI:10.1007/bf00245461 1992

Combining Nonstably Infinite Theories [0.03%] 组合非稳定无限理论

Cesare Tinelli; Calogero G. Zarba Cesare Tinelli; Calogero G. Zarba

Journal of automated reasoning. 2005;34(3):209-238. DOI:10.1007/s10817-005-5204-9 2005

T-Resolution: Refinements and Model Elimination [0.03%] T-消解：细化与模型消除

Andrea Formisano; Alberto Policriti Andrea Formisano; Alberto Policriti

Journal of automated reasoning. 1999;22(4):433-483. DOI:10.1023/a:1006170514174 1999

Reusing a JML Specification Dedicated to Verification for Testing, and Vice-Versa: Case Studies [0.03%] 将专门用于验证的JML规范用于测试，以及反之亦然：案例研究

Lydie du Bousquet; Yves Ledru; Olivier Maury; Catherine Oriat; Jean-Louis Lanet Lydie du Bousquet; Yves Ledru; Olivier Maury; Catherine Oriat; Jean-Louis Lanet

Journal of automated reasoning. 2010;45(4):415-435. DOI:10.1007/s10817-009-9132-y 2010

Social Choice Theory in HOL [0.03%] HOL中的社会选择理论

Tobias Nipkow Tobias Nipkow

Journal of automated reasoning. 2009;43(3):289-304. DOI:10.1007/s10817-009-9147-4 2009

Rewriting Conversions Implemented with Continuations [0.03%] 使用延续实现的转换重写

Michael Norrish Michael Norrish

Journal of automated reasoning. 2009;43(3):305-336. DOI:10.1007/s10817-009-9146-5 2009

KBO Orientability [0.03%] KBO 可定向性

Harald Zankl; Nao Hirokawa; Aart Middeldorp Harald Zankl; Nao Hirokawa; Aart Middeldorp

Journal of automated reasoning. 2009;43(2):173-201. DOI:10.1007/s10817-009-9131-z 2009