Journal of Automated Reasoning

From Wikipedia, the free encyclopedia
Jump to: navigation, search
Journal of Automated Reasoning  
Abbreviated title (ISO 4)
J. Autom. Reason.
Discipline Computer science
Language English
Edited by Tobias Nipkow
Publication details
Publisher
Publication history
1983-present
Frequency 8/year
0.714
Indexing
ISSN 0168-7433 (print)
1573-0670 (web)
LCCN sf93093541
CODEN JAREEW
OCLC no. 263592661
Links

The Journal of Automated Reasoning was established in 1983 by Larry Wos who was its editor in chief until 1992.[1] It covers research and advances in automated reasoning — mechanical verification of theorems and other deductions in classical and non-classical logic.[2]

The journal is published by Springer Science+Business Media. As of 2010, the editor-in-chief is Tobias Nipkow. The journal's 2011 impact factor is 0.714, and it is indexed by several science indexing services, including the Science Citation Index Expanded and Scopus.[3]

References[edit]

  1. ^ Robert Veroff, Automated reasoning and its applications 
  2. ^ Allen B. Tucker, Computer science handbook 
  3. ^ "Journal of Automated Reasoning". Springer. Retrieved 2 August 2010. 

External links[edit]