Journal of automated reasoning文章索引

期刊名：Journal of automated reasoning

缩写：J AUTOM REASONING

ISSN：0168-7433

e-ISSN：1573-0670

IF/分区：0.7/Q4

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

Some experiments in nonassociative ring theory with an automated theorem prover [0.03%] 利用自动定理证明器进行的非结合环理论的一些实验

Rick L. Stevens Rick L. Stevens

Journal of automated reasoning. 1987;3(2):211-221. DOI:10.1007/bf00243209 1987

Theorem of Three Circles in Coq [0.03%] Coq中的三圆定理

Zsidó, Julianna Zsidó

Journal of Automated Reasoning. 2014;53(2):105-127. DOI:10.1007/s10817-013-9299-0 2014

I-SATCHMO: An Improvement of SATCHMO [0.03%] I-萨奇莫：萨奇莫的改进版

Lifeng He Lifeng He

Journal of automated reasoning. 2001;27(3):313-322. DOI:10.1023/a:1017594402123 2001

A method for the mechanical derivation of formulas in elementary geometry [0.03%] 初等几何中公式机械推导的一种方法

Shang-Ching Chou Shang-Ching Chou

Journal of automated reasoning. 1987;3(3):291-299. DOI:10.1007/bf00243793 1987

Changes of address [0.03%] 地址变更

Journal of automated reasoning. 1985;1(2):230-0. DOI:10.1007/bf00244998 1985

Proof Pearl: The KeY to Correct and Stable Sorting [0.03%] 证明之珠：正确且稳定的排序的钥匙

Gouw, Stijn; Boer, Frank; Rot et al. Gouw et al.

Journal of Automated Reasoning. 2014;53(2):129-139. DOI:10.1007/s10817-013-9300-y 2014

Near-Horn Prolog and beyond [0.03%] 近霍恩逻辑及其之后

Donald W. Loveland Donald W. Loveland

Journal of automated reasoning. 1991;7(1):1-26. DOI:10.1007/bf00249353 1991

Condensed detachment is complete for relevance logic: A computer-aided proof [0.03%] 凝聚分离律对相关逻辑是完备的：一项计算机辅助证明

Grigori Mints; Tanel Tammet Grigori Mints; Tanel Tammet

Journal of automated reasoning. 1991;7(4):587-596. DOI:10.1007/bf01880330 1991

A mechanically verified code generator [0.03%] 一个经过机械验证的代码生成器

William D. Young William D. Young

Journal of automated reasoning. 1989;5(4):493-518. DOI:10.1007/bf00243134 1989

Adding equality to semantic tableaux [0.03%] 将等价性添加到语义表列中

S. V. Reeves S. V. Reeves

Journal of automated reasoning. 1987;3(3):225-246. DOI:10.1007/bf00243790 1987