Journal of automated reasoning文章索引

期刊名：Journal of automated reasoning

缩写：J AUTOM REASONING

ISSN：0168-7433

e-ISSN：1573-0670

IF/分区：0.7/Q4

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

SET-VAR [0.03%] 设置变量

W. W. Bledsoe; Guohui Feng W. W. Bledsoe; Guohui Feng

Journal of automated reasoning. 1993;11(3):293-314. DOI:10.1007/bf00881869 1993

Formalizing Synthetic Domain Theory [0.03%] 形式化合成域理论

Bernhard Reus Bernhard Reus

Journal of automated reasoning. 1999;23(3):411-444. DOI:10.1023/a:1006258506401 1999

What holds in a context? [0.03%] 在某种语境中，什么成立？

F. Corella F. Corella

Journal of automated reasoning. 1993;10(1):79-93. DOI:10.1007/bf00881865 1993

Model elimination without contrapositives and its application to PTTP [0.03%] 不使用逆否命题的模型消解及其在PTTP中的应用

Peter Baumgartner; Ulrich Furbach Peter Baumgartner; Ulrich Furbach

Journal of automated reasoning. 1994;13(3):339-359. DOI:10.1007/bf00881948 1994

Exploitation of parallel processing for implementing high-performance deduction systems [0.03%] 利用并行处理实现高性能推理系统

Anita Jindal; Ross Overbeek; Waldo C. Kabat Anita Jindal; Ross Overbeek; Waldo C. Kabat

Journal of automated reasoning. 1992;8(1):23-38. DOI:10.1007/bf00263447 1992

Studies of a Theory of Specifications with Built-in Program Extraction [0.03%] 带有内置程序提取的规范理论研究

Paula Severi; Nora Szasz Paula Severi; Nora Szasz

Journal of automated reasoning. 2001;27(1):61-87. DOI:10.1023/a:1010663224299 2001

Addresses of editor-in-chief and Editorial Board [0.03%] 主编及编委会地址

Journal of automated reasoning. 1986;2(1):105-107. DOI:10.1007/bf00246027 1986

Geometry Constructions Language [0.03%] 几何作图语言

Predrag Janičić Predrag Janičić

Journal of automated reasoning. 2010;44(1-2):3-24. DOI:10.1007/s10817-009-9135-8 2010

Productive use of failure in inductive proof [0.03%] 归纳法证明中对失败的建设性运用

Andrew Ireland; Alan Bundy Andrew Ireland; Alan Bundy

Journal of automated reasoning. 1996;16(1-2):79-111. DOI:10.1007/bf00244460 1996

A foray into combinatory logic [0.03%] 对组合逻辑的一次探索

Barney Glickfeld; Ross Overbeek Barney Glickfeld; Ross Overbeek

Journal of automated reasoning. 1986;2(4):419-431. DOI:10.1007/bf00248251 1986