Journal of automated reasoning文章索引

期刊目录筛选

期刊名：Journal of automated reasoning

缩写：J AUTOM REASONING

ISSN：0168-7433

e-ISSN：1573-0670

IF/分区：0.7/Q4

文章目录更多期刊信息

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

A Framework for Certified Boolean Branch-and-Bound Optimization [0.03%] 一种用于认证布尔分支定界优化的框架

Javier Larrosa; Robert Nieuwenhuis; Albert Oliveras; Enric Rodríguez-Carbonell Javier Larrosa; Robert Nieuwenhuis; Albert Oliveras; Enric Rodríguez-Carbonell

Journal of automated reasoning. 2011;46(1):81-102. DOI:10.1007/s10817-010-9176-z 2011

Ordered Semantic Hyper Tableaux [0.03%] 有序语义超表 tableau

Adnan Yahya; David A. Plaisted Adnan Yahya; David A. Plaisted

Journal of automated reasoning. 2002;29(1):17-57. DOI:10.1023/a:1020512924736 2002

Automated production of traditional proofs in solid geometry [0.03%] 立体几何中传统证明的自动化生成

Shang-Ching Chou; Xiao-Shan Gao; Jing-Zhong Zhang Shang-Ching Chou; Xiao-Shan Gao; Jing-Zhong Zhang

Journal of automated reasoning. 1995;14(2):257-291. DOI:10.1007/bf00881858 1995

A Survey of Symbolic Methods in Computational Analysis of Cryptographic Systems [0.03%] 密码系统计算分析中的符号方法综述

Véronique Cortier; Steve Kremer; Bogdan Warinschi Véronique Cortier; Steve Kremer; Bogdan Warinschi

Journal of automated reasoning. 2011;46(3-4):225-259. DOI:10.1007/s10817-010-9187-9 2011

A path ordering for proving termination of AC rewrite systems [0.03%] 一种用于证明带有序对的重写系统终止性的路径排序方法

Deepak Kapur; G. Sivakumar; Hantao Zhang Deepak Kapur; G. Sivakumar; Hantao Zhang

Journal of automated reasoning. 1995;14(2):293-316. DOI:10.1007/bf00881859 1995

More Proofs of an Axiom of Łukasiewicz [0.03%] 卢卡西维茨公理的更多证明

John Slaney John Slaney

Journal of automated reasoning. 2002;29(1):59-66. DOI:10.1023/a:1020541318160 2002

State and Progress in Strand Spaces: Proving Fair Exchange [0.03%] 串空间中的状态与进展：公平交换的证明

Joshua D. Guttman Joshua D. Guttman

Journal of automated reasoning. 2012;48(2):159-195. DOI:10.1007/s10817-010-9202-1 2012

A more expressive formulation of many sorted logic [0.03%] 多类逻辑的一种更具表现力的表述形式

Anthony G. Cohn Anthony G. Cohn

Journal of automated reasoning. 1987;3(2):113-200. DOI:10.1007/bf00243207 1987

The problem of selecting an approach based on prior success [0.03%] 基于先前成功选择方法的问题

Larry Wos Larry Wos

Journal of automated reasoning. 1993;10(2):283-284. DOI:10.1007/bf00881839 1993

The Procedures of the CADE-13 ATP System Competition [0.03%] CADE-13 ATP系统竞赛规程

Geoff Sutcliffe; Christian Suttner Geoff Sutcliffe; Christian Suttner

Journal of automated reasoning. 1997;18(2):163-169. DOI:10.1023/a:1005858625038 1997