Journal of automated reasoning文章索引

期刊名：Journal of automated reasoning

缩写：J AUTOM REASONING

ISSN：0168-7433

e-ISSN：1573-0670

IF/分区：0.7/Q4

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

The Watson Theorem Prover [0.03%] 沃森定理证明器

M. Randall Holmes; Jim Alves-Foss M. Randall Holmes; Jim Alves-Foss

Journal of automated reasoning. 2001;26(4):357-408. DOI:10.1023/a:1010652212067 2001

HOL-Boogie—An Interactive Prover-Backend for the Verifying C Compiler [0.03%] HOL-布吉——用于验证C编译器的交互式定理证明器后端

Sascha Böhme; Michał Moskal; Wolfram Schulte; Burkhart Wolff Sascha Böhme; Michał Moskal; Wolfram Schulte; Burkhart Wolff

Journal of automated reasoning. 2010;44(1-2):111-144. DOI:10.1007/s10817-009-9142-9 2010

Structuring Resolution Proofs by Introducing New Lemmata [0.03%] 通过引入新引理来构造归结证明

K. Hörwein K. Hörwein

Journal of automated reasoning. 1997;19(2):173-203. DOI:10.1023/a:1005890730317 1997

The TPTP Problem Library and Associated Infrastructure [0.03%] TPTP问题库及配套基础设施

Geoff Sutcliffe Geoff Sutcliffe

Journal of automated reasoning. 2009;43(4):337-362. DOI:10.1007/s10817-009-9143-8 2009

A Formalization of Powerlist Algebra in ACL2 [0.03%] 在ACL2中对Powerlist代数的形式化描述

Ruben A. Gamboa Ruben A. Gamboa

Journal of automated reasoning. 2009;43(2):139-172. DOI:10.1007/s10817-009-9140-y 2009

Proof Search in Intuitionistic Logic with Equality, or Back to Simultaneous RigidE-Unification [0.03%] 带等式的直觉逻辑中的证明搜索，或重返同时刚性E-合一问题

Andrei Voronkov Andrei Voronkov

Journal of automated reasoning. 1998;21(2):205-231. DOI:10.1023/a:1005934721802 1998

Unification Algorithms for Eliminating and Introducing Quantifiers in Natural Deduction Automated Theorem Proving [0.03%] 自然演绎自动定理证明中消除与引入量词的统一算法

Li Dafa Li Dafa

Journal of automated reasoning. 1997;18(1):105-134. DOI:10.1023/a:1005749401809 1997

Crystal: Integrating Structured Queries into a Tactic Language [0.03%] 水晶：将结构化查询集成到战术语言中

Dominik Dietrich; Ewaryst Schulz Dominik Dietrich; Ewaryst Schulz

Journal of automated reasoning. 2010;44(1-2):79-110. DOI:10.1007/s10817-009-9138-5 2010

MetiTarski: An Automatic Theorem Prover for Real-Valued Special Functions [0.03%] MetiTarski：一种针对实数值特殊函数的自动定理证明器

Behzad Akbarpour; Lawrence Charles Paulson Behzad Akbarpour; Lawrence Charles Paulson

Journal of automated reasoning. 2010;44(3):175-205. DOI:10.1007/s10817-009-9149-2 2010

The problem of demodulating across argument and literal boundaries [0.03%] 跨参数和字面边界解调的问题

Larry Wos Larry Wos

Journal of automated reasoning. 1992;9(3):407-408. DOI:10.1007/bf00245299 1992