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
- ↑ Robert Veroff, Automated reasoning and its applications
- ↑ Allen B. Tucker, Computer science handbook
- ↑ "Journal of Automated Reasoning". Springer. Retrieved 2 August 2010.
External links
This article is issued from Wikipedia - version of the Thursday, September 25, 2014. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.