Journal of automated reasoning文章索引

期刊名：Journal of automated reasoning

缩写：J AUTOM REASONING

ISSN：0168-7433

e-ISSN：1573-0670

IF/分区：0.7/Q4

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

Book reviews [0.03%] 书评

Rick Stevens Rick Stevens

Journal of automated reasoning. 1991;7(1):159-161. DOI:10.1007/bf00249357 1991

TABLEAUX: A general theorem prover for modal logics [0.03%] 表格：一种用于模态逻辑的通用定理证明器

Laurent Catach Laurent Catach

Journal of automated reasoning. 1991;7(4):489-510. DOI:10.1007/bf01880326 1991

The problem of finding a restriction strategy more effective than the set of support strategy [0.03%] 寻找一种比支持集策略更有效的限制策略的问题

Larry Wos Larry Wos

Journal of automated reasoning. 1991;7(1):105-107. DOI:10.1007/bf00249355 1991

Announcements [0.03%] 公告

Journal of automated reasoning. 1989;5(1):123-124. DOI:10.1007/bf00245026 1989

Formalization of Shannon’s Theorems [0.03%] 香农定理的形式化

Affeldt, Reynald; Hagiwara, Manabu; Sénizergues et al. Affeldt et al.

Journal of Automated Reasoning. 2014;53(1):63-103. DOI:10.1007/s10817-013-9298-1 2014

Automated reasoning and nonclassical logics: Introduction [0.03%] 自动推理与非经典逻辑：导论

Michael A. McRobbie Michael A. McRobbie

Journal of automated reasoning. 1991;7(4):447-451. DOI:10.1007/bf01880323 1991

Incidence calculus: A mechanism for probabilistic reasoning [0.03%] 发生率微积分：一种用于概率推理的机制

Alan Bundy Alan Bundy

Journal of automated reasoning. 1985;1(3):263-283. DOI:10.1007/bf00244272 1985

Using Isabelle/HOL to Verify First-Order Relativity Theory [0.03%] 使用Isabelle/HOL验证一阶相对论理论

Stannett, Mike; Németi, István Stannett

Journal of Automated Reasoning. 2014;52(4):361-378. DOI:10.1007/s10817-013-9292-7 2014

Transcendental functions and mechanical theorem proving in elementary geometries [0.03%] 超越函数与初等几何中的机械定理证明

Xiaoshan Gao Xiaoshan Gao

Journal of automated reasoning. 1990;6(4):403-417. DOI:10.1007/bf00244356 1990

Predicate logic hacker tricks [0.03%] 谓词逻辑黑客技巧

Hans Jūrgen Ohlbach Hans Jūrgen Ohlbach

Journal of automated reasoning. 1985;1(4):435-440. DOI:10.1007/bf00244279 1985