Journal of automated reasoning文章索引

期刊目录筛选

期刊名：Journal of automated reasoning

缩写：J AUTOM REASONING

ISSN：0168-7433

e-ISSN：1573-0670

IF/分区：0.7/Q4

文章目录更多期刊信息

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

Searching for circles of pure proofs [0.03%] 寻找纯粹证明的圆圈

Larry Wos Larry Wos

Journal of automated reasoning. 1995;15(3):279-315. DOI:10.1007/bf00881802 1995

“Decision Procedures: An Algorithmic Point of View,” by Daniel Kroening and Ofer Strichman, Springer-Verlag, 2008 [0.03%] 《决策过程：算法视角》，丹尼尔·克罗宁与奥弗·斯特里希曼著，施普林格-费尔格出版社，2008年

Barrett, Clark Barrett

Journal of Automated Reasoning. 2013;51(4):453-456. DOI:10.1007/s10817-013-9295-4 2013

Book review [0.03%] 书籍评论

Ross Overbeek Ross Overbeek

Journal of automated reasoning. 1988;4(2):233-234. DOI:10.1007/bf00244397 1988

TPS: A theorem-proving system for classical type theory [0.03%] TPS：一种用于经典类型论的定理证明系统

Peter B. Andrews; Matthew Bishop; Sunil Issar; Dan Nesmith; Frank Pfenning; Hongwei Xi Peter B. Andrews; Matthew Bishop; Sunil Issar; Dan Nesmith; Frank Pfenning; Hongwei Xi

Journal of automated reasoning. 1996;16(3):321-353. DOI:10.1007/bf00252180 1996

A sequent-style model elimination strategy and a positive refinement [0.03%] 一种序列式模型消解策略与一种正向精化

David A. Plaisted David A. Plaisted

Journal of automated reasoning. 1990;6(4):389-402. DOI:10.1007/bf00244355 1990

Mechanical procedure for proof construction via closed terms in typed λ calculus [0.03%] 通过类型λ演算中的闭项进行证明构造的机械过程

Marek Zaionc Marek Zaionc

Journal of automated reasoning. 1988;4(2):173-190. DOI:10.1007/bf00244393 1988

First-order modal tableaux [0.03%] 一阶模态表解法

Melvin Fitting Melvin Fitting

Journal of automated reasoning. 1988;4(2):191-213. DOI:10.1007/bf00244394 1988

Robbins algebra: Conditions that make a near-boolean algebra boolean [0.03%] 罗宾斯代数：使近布尔代数成为布尔代数的条件

S. Winker S. Winker

Journal of automated reasoning. 1990;6(4):465-489. DOI:10.1007/bf00244359 1990

Unification in Abelian semigroups [0.03%] 阿贝尔半群中的统一性

Alexander Herold; Jörg H. Siekmann Alexander Herold; Jörg H. Siekmann

Journal of automated reasoning. 1987;3(3):247-283. DOI:10.1007/bf00243791 1987

Machine Learning for First-Order Theorem Proving [0.03%] 一阶定理证明中的机器学习

Bridge, James P.; Holden, Sean B.; Paulson et al. Bridge et al.

Journal of Automated Reasoning. 2014;53(2):141-172. DOI:10.1007/s10817-014-9301-5 2014