仕訳帳情報
Journal of Automated Reasoning
http://www.springer.com/computer/theoretical+computer+science/journal/10817
インパクト ・ ファクター:
0.944
出版社:
Springer
ISSN:
0168-7433
閲覧:
11087
追跡:
4
論文募集
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
最終更新 Dou Sun 2022-01-30
関連仕訳帳
CCF完全な名前インパクト ・ ファクター出版社ISSN
bInternational Journal of Approximate Reasoning3.816Elsevier0888-613X
Journal of Formalized ReasoningAlma Mater Studiorum1972-5787
Progress in Organic Coatings5.161Elsevier0300-9440
The International Journal of Advanced Manufacturing Technology3.226Springer0268-3768
bAutomated Software Engineering1.273Springer0928-8910
IEEE Transactions on Automatic Control5.093IEEE0018-9286
Automatic Documentation and Mathematical Linguistics Springer0005-1055
Journal of Computer Assisted Learning2.451Wiley-Blackwell0266-4909
cIET Image Processing0.753IET1751-9659
IET Journal on Singal Processing IET1751-9675
関連会議
CCFCOREQUALIS省略名完全な名前提出日通知日会議日
ab2TARKInternational Conference on Theoretical Aspects of Rationality and Knowledge2012-09-202012-10-292013-01-07
baa1ECCVEuropean Conference on Computer Vision2022-03-072022-07-032022-10-24
ba*a1AAMASInternational Joint Conference on Autonomous Agents and Multi-agent Systems2022-10-212023-01-042023-05-29
aaa1ASEInternational Conference on Automated Software Engineering2022-04-292022-07-202022-09-26
ISCMAInternational Symposium on Computational Media Art2018-09-012018-10-152019-01-04
WATInternational Workshop on Automation Technologies2022-11-152022-12-012022-12-16
MIGACM SIGGRAPH conference on Motion, Interaction and Games2019-07-222019-08-302019-10-28
ICETACInternational Conference on Electrical Technology and Automatic Control2021-10-082021-10-102021-10-23
FMVIPInternational Conference on Frontiers of Machine Vision and Image Processing2022-10-202022-11-052022-11-18
ADHIPEAI International Conference on Advanced Hybrid Information Processing2018-06-302018-07-302018-10-05
おすすめ