Journal of automated reasoning文章索引

期刊名：Journal of automated reasoning

缩写：J AUTOM REASONING

ISSN：0168-7433

e-ISSN：1573-0670

IF/分区：0.7/Q4

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

Resolution theorem proving in reified modal logics [0.03%] 具象化模态逻辑中的归结定理证明

J. Stuart Aitken; Han Reichgelt; Nigel Shadbolt J. Stuart Aitken; Han Reichgelt; Nigel Shadbolt

Journal of automated reasoning. 1994;12(1):103-129. DOI:10.1007/bf00881845 1994

The anatomy of vampire [0.03%] 吸血鬼的解剖结构

Andrei Voronkov Andrei Voronkov

Journal of automated reasoning. 1995;15(2):237-265. DOI:10.1007/bf00881918 1995

The problem of automated theorem finding [0.03%] 自动定理发现问题

Larry Wos Larry Wos

Journal of automated reasoning. 1993;10(1):137-138. DOI:10.1007/bf00881868 1993

From logic to logic programming [0.03%] 从逻辑到逻辑编程

Charles Ashbacher Charles Ashbacher

Journal of automated reasoning. 1996;16(3):427-427. DOI:10.1007/bf00252183 1996

A Canonical Locally Named Representation of Binding [0.03%] 绑定的规范局部命名表示法

Randy Pollack, Masahiko Sato, Wilmer Ricciotti Randy Pollack

Journal of automated reasoning. 2012;49(2):185-207. DOI:10.1007/s10817-011-9229-y 2012

A Framework for Proof Systems [0.03%] 证明系统的框架

Vivek Nigam; Dale Miller Vivek Nigam; Dale Miller

Journal of automated reasoning. 2010;45(2):157-188. DOI:10.1007/s10817-010-9182-1 2010

Computing Knowledge in Security Protocols Under Convergent Equational Theories [0.03%] 在收敛等式理论下的安全协议中的计算知识

Ştefan Ciobâcă; Stéphanie Delaune; Steve Kremer Ştefan Ciobâcă; Stéphanie Delaune; Steve Kremer

Journal of automated reasoning. 2012;48(2):219-262. DOI:10.1007/s10817-010-9197-7 2012

An Efficient Algorithm to Generate Prime Implicants [0.03%] 一种生成主蕴涵项的高效算法

A. K. Shiny; Arun K. Pujari A. K. Shiny; Arun K. Pujari

Journal of automated reasoning. 1999;22(2):149-170. DOI:10.1023/a:1005940031099 1999

Nonconstructive Computational Mathematics [0.03%] 非构造性计算数学

Kenneth Kunen Kenneth Kunen

Journal of automated reasoning. 1998;21(1):69-97. DOI:10.1023/a:1005888712422 1998

Monotonicity Inference for Higher-Order Formulas [0.03%] 高阶公式的单调性推断

Jasmin Christian Blanchette; Alexander Krauss Jasmin Christian Blanchette; Alexander Krauss

Journal of automated reasoning. 2011;47(4):369-398. DOI:10.1007/s10817-011-9234-1 2011