저널 정보

Journal of Automated Reasoning

저널 웹사이트를 보려면 로그인해 주세요
무료 가입으로 공식 사이트 조회, 마감 추적, 이메일 리마인더를 이용할 수 있습니다.
로그인 회원가입

영향력 지수:
0.8
출판사:
Springer
ISSN:
0168-7433
조회:
24643
팔로우:
4

논문 모집

Journal of Automated Reasoning is an academic journal published by Springer. (ISSN 0168-7433, impact factor 0.8, CCF B).

Aims and scope 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.
최종 수정: Dou Sun ()

관련 저널

CCF정식 명칭영향력 지수출판사ISSN
International Journal of Information Security3.2Springer1615-5262
International Journal of Automation and ComputingSpringer1476-8186
Journal of Cloud ComputingSpringer2192-113X
Journal of Big Data6.4Springer2196-1115
Journal of Computational Electronics2.5Springer1569-8025
Journal of Interaction ScienceSpringer2194-0827
Journal of Signal Processing Systems1.8Springer1939-8018
Journal of Computer and Systems Sciences International0.500Springer1064-2307
Journal of Medical Systems5.7Springer0148-5598
Journal of Intelligent Manufacturing7.4Springer0956-5515

관련 학회

댓글 0

아직 댓글이 없습니다.

댓글을 작성하려면 로그인해 주세요

광고