• 充值
  • 帮助
搜期刊
主题
文献检索

Journal of Automated Reasoning EI PubMed AJ SCIE JST JCR:Q4 中科院3区
发文量 1,469
被引量 12,841
影响因子(2023) 0.474

The Journal of Automated Reasoning is dedicated to the theory, implementation, and applications of logical reasoning by computer. The topics of interest are connected to computer science, mathematics, and philosophy. They include the development and use of automatic theorem provers, formal proof assistants, and related software tools such as model checkers; the design and study of the underlying logics and the theoretical properties of the proof systems used for discovering and expressing formal proofs; and the use of artificial intelligence techniques to guide the search for a proof. Scientific and industrial applications are invaluable as case studies. They may concern the verification of hardware or software, where they can be used to establish correctness or security properties, or the formalization of mathematics, among many areas. Successful verification efforts yield lessons on how to use the tools better and how to enhance them. They also point to a future in which formal verification will be routine for critical computing infrastructure and for research in mathematics, computer science, and other disciplines that could benefit from the convenience and rigor of automated reasoning. Provides a forum for those interested purely in theory, those interested primarily in implementation, and those interested in specific research and industrial applications Covers a wide range of automatic and interactive reasoning tools, including SAT and SMT solvers, automatic theorem provers based on superposition or tableaux, proof assistants, and program verifiers Focuses on a range of theoretical and applied topics that involve logical reasoning by computer

  • 主办单位： SPRINGER
  • 出版地区： Netherlands
  • 出版周期： 双月刊
  • 别名： 自动推理杂志
  • 国际标准连续出版物号： ISSN 0168-7433
  • 创刊时间： 1985年
热门主题：

LogicTheoremTheorem ProvingVerificationAutomated ReasoningProblemTheoryTHEOREMSPRESENTAlgorithmsAutomated Theorem ProvingExtendedResolutionCalculusProgrammingSYSTEMSApplicationExamplesFormalizationTERMS

收录汇总 栏目浏览 期刊详情
收录汇总
出版文献
期刊详情
分析评价
  • 1
  • 2
  • 3
  • 4
  • 7
目录
封面
2025年01期
共：9篇

      不详

    • Devadze, GrigoryMagron, VictorStreif, Stefan

    • Borges, Ana de AlmeidaArtis, Annali CasanuevaFalleri, JeanRemyGallego Arias, Emilio JesusMartinDorel, ErikPalmskog, KarlSerebrenik, AlexanderZimmermann, Theo

    • Lipparini, EnricoRatschan, Stefan

    • Baanen, Anne

    • Abrahamsson, OskarMyreen, Magnus O.Norrish, MichaelKanabar, HrutvikPohjola, Johannes aman

    • AyalaRincon, MauricioFernandez, MaribelFerreira Silva, GabrielKutsia, TemurNantesSobrinho, Daniele

    • Ayala-Rincón, MauricioFernández, MaribelFerreira Silva, GabrielKutsia, TemurNantes-Sobrinho, Daniele

    • Beyer, DirkLee, NianZeWendler, Philipp

    • Song, ShuhaoYao, Bowen

2025年01期

2025年01期

客服咨询
投稿相关：023-63416211
撤稿相关：023-67396862
查重相关：023-63506028
重庆维普资讯有限公司 渝B2-20050021-1 渝公网备 50019002500403
违法和不良信息举报中心   举报邮箱：jubao@cqvip.com   互联网算法推荐专项举报：sfjubao@cqvip.com    网络暴力专项举报: bljubao@cqvip.com
网络出版：（署）网出证（渝）字第014号    出版物经营许可证：新出发2018批字第006号