Journal of Automated Reasoning: Difference between revisions
Content deleted Content added
m Update Jasmin Blanchette's affiliation |
m a |
||
| Line 31: | Line 31: | ||
The '''''Journal of Automated Reasoning''''' was established in 1983 by [[Larry Wos]], who was its [[editor in chief]] until 1992.<ref>{{citation |url=https://books.google.com/books?id=BG6uMcioN7EC&pg=PR7 |title=Automated reasoning and its applications |author=Robert Veroff|date=1997 |publisher=MIT Press |isbn=9780262220552 }}</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=https://books.google.com/books?id=9IFMCsQJyscC&pg=SA61-PA24 |title=Computer science handbook |author=Allen B. Tucker|date=28 June 2004 |publisher=CRC Press |isbn=9780203494455 }}</ref> |
The '''''Journal of Automated Reasoning''''' was established in 1983 by [[Larry Wos]], who was its [[editor in chief]] until 1992.<ref>{{citation |url=https://books.google.com/books?id=BG6uMcioN7EC&pg=PR7 |title=Automated reasoning and its applications |author=Robert Veroff|date=1997 |publisher=MIT Press |isbn=9780262220552 }}</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=https://books.google.com/books?id=9IFMCsQJyscC&pg=SA61-PA24 |title=Computer science handbook |author=Allen B. Tucker|date=28 June 2004 |publisher=CRC Press |isbn=9780203494455 }}</ref> |
||
The journal is published by [[Springer Science+Business Media]]. As of 2021, the editor-in-chief is [[Jasmin Blanchette]], |
The journal is published by [[Springer Science+Business Media]]. As of 2021, the editor-in-chief is [[Jasmin Blanchette]], a professor of theoretical computer science at the [[Ludwig-Maximilians-Universität München]]. The journal's 2019 [[impact factor]] is 1.431, and it is indexed by several science indexing services, including the [[Science Citation Index Expanded]] and [[Scopus]].<ref>{{cite web|last=|first=|date=|title=Journal of Automated Reasoning|url=https://www.springer.com/computer/theoretical+computer+science/journal/10817|archive-url=|archive-date=|accessdate=11 January 2021|website=|publisher=Springer}}</ref> |
||
==References== |
==References== |
||
Latest revision as of 14:14, 20 July 2024
| Discipline | Computer science |
|---|---|
| Language | English |
| Edited by | Jasmin Blanchette |
| Publication details | |
| History | 1983–present |
| Publisher | |
| Frequency | 8/year |
| 1.431 (2019) | |
| Standard abbreviations | |
| ISO 4 | J. Autom. Reason. |
| MathSciNet | J. Automat. 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 2021, the editor-in-chief is Jasmin Blanchette, a professor of theoretical computer science at the Ludwig-Maximilians-Universität München. The journal's 2019 impact factor is 1.431, and it is indexed by several science indexing services, including the Science Citation Index Expanded and Scopus.[3]
References
[edit]- ^ Robert Veroff (1997), Automated reasoning and its applications, MIT Press, ISBN 9780262220552
- ^ Allen B. Tucker (28 June 2004), Computer science handbook, CRC Press, ISBN 9780203494455
- ^ "Journal of Automated Reasoning". Springer. Retrieved 11 January 2021.