Journal of Automated Reasoning: Difference between revisions
Content deleted Content added
m Robot - Speedily moving category Springer academic journals to Category:Springer Science+Business Media academic journals per CFDS. |
|||
| Line 2: | Line 2: | ||
| title = Journal of Automated Reasoning |
| title = Journal of Automated Reasoning |
||
| cover = |
| cover = |
||
| editor = Tobias Nipkow |
| editor = [[Tobias Nipkow]] |
||
| discipline = [[Computer science]] |
| discipline = [[Computer science]] |
||
| abbreviation = J. Autom. Reason. |
| abbreviation = J. Autom. Reason. |
||
| Line 27: | Line 27: | ||
The '''''Journal of Automated Reasoning''''' was established in 1983 by [[Larry Wos]] who was its [[editor in chief]] until 1992.<ref>{{citation |url=http://books.google.co.uk/books?id=BG6uMcioN7EC&pg=PR7 |title=Automated reasoning and its applications |author=Robert Veroff}}</ref> It covers research and advances in [[automated reasoning]] — mechanical verification of [[theorem]]s and other deductions in classical and non-classical [[logic]].<ref>{{citation |url=http://books.google.co.uk/books?id=9IFMCsQJyscC&pg=SA61-PA24 |title=Computer science handbook |author=Allen B. Tucker}}</ref> |
The '''''Journal of Automated Reasoning''''' was established in 1983 by [[Larry Wos]] who was its [[editor in chief]] until 1992.<ref>{{citation |url=http://books.google.co.uk/books?id=BG6uMcioN7EC&pg=PR7 |title=Automated reasoning and its applications |author=Robert Veroff}}</ref> It covers research and advances in [[automated reasoning]] — mechanical verification of [[theorem]]s and other deductions in classical and non-classical [[logic]].<ref>{{citation |url=http://books.google.co.uk/books?id=9IFMCsQJyscC&pg=SA61-PA24 |title=Computer science handbook |author=Allen B. Tucker}}</ref> |
||
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]].<ref>{{cite web |title=Journal of Automated Reasoning |url=http://www.springer.com/computer/theoretical+computer+science/journal/10817 |publisher=Springer|accessdate=2 August 2010}}</ref> |
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]].<ref>{{cite web |title=Journal of Automated Reasoning |url=http://www.springer.com/computer/theoretical+computer+science/journal/10817 |publisher=Springer|accessdate=2 August 2010}}</ref> |
||
==References== |
==References== |
||
Revision as of 09:10, 25 September 2014
| Discipline | Computer science |
|---|---|
| Language | English |
| Edited by | Tobias Nipkow |
| Publication details | |
| History | 1983-present |
| Publisher | |
| Frequency | 8/year |
| 0.714 (2011) | |
| Standard abbreviations | |
| ISO 4 | J. Autom. Reason. |
| Indexing | |
| CODEN | JAREEW |
| ISSN | 0168-7433 (print) 1573-0670 (web) |
| LCCN | sf93093541 |
| 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.