Journal of automated reasoning文章索引

期刊目录筛选

期刊名：Journal of automated reasoning

缩写：J AUTOM REASONING

ISSN：0168-7433

e-ISSN：1573-0670

IF/分区：0.7/Q4

文章目录更多期刊信息

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

The power of combining resonance with heat [0.03%] 共振与热量相结合的力量

Larry Wos Larry Wos

Journal of automated reasoning. 1996;17(1):23-81. DOI:10.1007/bf00247668 1996

A Goal-Directed Decision Procedure for Hybrid PDL [0.03%] 一种面向目标的混合PDL决策过程

Kaminski, Mark; Smolka, Gert Kaminski

Journal of Automated Reasoning. 2014;52(4):407-450. DOI:10.1007/s10817-013-9294-5 2014

Set theory in first-order logic: Clauses for Gödel's axioms [0.03%] 一阶逻辑中的集合论：哥德尔公理的命题式表述

Robert Boyer; Ewing Lusk; William McCune; Ross Overbeek; Mark Stickel; Lawrence Wos Robert Boyer; Ewing Lusk; William McCune; Ross Overbeek; Mark Stickel; Lawrence Wos

Journal of automated reasoning. 1986;2(3):287-327. DOI:10.1007/bf02328452 1986

The Incredible ELK [0.03%] 令人难以置信的麋鹿

Kazakov, Yevgeny; Krötzsch, Markus; Simančík et al. Kazakov et al.

Journal of Automated Reasoning. 2014;53(1):1-61. DOI:10.1007/s10817-013-9296-3 2014

Publisher's announcement [0.03%] 出版社的公告

Journal of automated reasoning. 1989;5(1):v-0. DOI:10.1007/bf00245017 1989

The problem of extending the set of support strategy [0.03%] 支持策略集合扩展的问题

Larry Wos Larry Wos

Journal of automated reasoning. 1987;3(3):319-328. DOI:10.1007/bf00243795 1987

A Type System for the Java Bytecode Language and Verifier [0.03%] 一种适用于Java字节码语言的类型系统及验证器

Stephen N. Freund; John C. Mitchell Stephen N. Freund; John C. Mitchell

Journal of automated reasoning. 2003;30(3-4):271-321. DOI:10.1023/a:1025011624925 2003

Contents to Volume 29 [0.03%] 第29卷内容

Journal of automated reasoning. 2002;29(3-4):417-418. DOI:10.1023/a:1021905232640 2002

Call for papers [0.03%] 征稿启事

Journal of automated reasoning. 1990;6(4):491-492. DOI:10.1007/bf00244360 1990

Automated reasoning in differential geometry and mechanics using the characteristic set method [0.03%] 利用特征集方法进行微分几何与力学中的自动推理

Shang-Ching Chou; Xiao-Shan Gao Shang-Ching Chou; Xiao-Shan Gao

Journal of automated reasoning. 1993;10(2):173-189. DOI:10.1007/bf00881835 1993