Jump to content

Journal of Automated Reasoning: Difference between revisions

From Wikipedia, the free encyclopedia
Browse history interactively
← Previous edit
Content deleted Content added
VisualWikitext
Infobox: 1983-present → 1983–present. Em dashes are unspaced: changed to en dash.
m a
 
(8 intermediate revisions by 6 users not shown)
Line 2: Line 2:
| title = Journal of Automated Reasoning
| title = Journal of Automated Reasoning
| cover =
| cover =
| language =
| editor = [[Tobias Nipkow]]
| editor = [[Jasmin Blanchette]]
| discipline = [[Computer science]]
| discipline = [[Computer science]]
| caption =
| former_name =
| abbreviation = J. Autom. Reason.
| abbreviation = J. Autom. Reason.
| mathscinet = J. Automat. Reason.
| mathscinet = J. Automat. Reason.
| publisher = [[Springer Science+Business Media]]
| publisher = [[Springer Science+Business Media]]
| country =
| country =
| frequency = 8/year
| frequency = 8/year
| history = 1983–present
| history = 1983–present
| openaccess =
| openaccess =
| license =
| license =
| impact = 0.714
| impact = 1.431
| impact-year =2011
| impact-year = 2019
| website = https://www.springer.com/computer/theoretical+computer+science/journal/10817
| website = https://www.springer.com/computer/theoretical+computer+science/journal/10817
| link1 = http://www.springerlink.com/openurl.asp?genre=issue&issn=0168-7433&issue=current
| link1 = http://www.springerlink.com/openurl.asp?genre=issue&issn=0168-7433&issue=current
| link1-name = Online access
| link1-name = Online access
| link2 =
| link2 =
| link2-name =
| link2-name =
| JSTOR =
| JSTOR =
| OCLC = 263592661
| OCLC = 263592661
Line 26: Line 29:
| eISSN = 1573-0670
| eISSN = 1573-0670
}}
}}
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}}</ref> It covers research and advances in [[automated reasoning]] &ndash; 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}}</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 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=https://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 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==
Line 34: Line 37:


== External links ==
== External links ==
* {{Official|1=https://www.springer.com/computer/theoretical+computer+science/journal/10817}}
* {{Official website|1=https://www.springer.com/computer/theoretical+computer+science/journal/10817}}


[[Category:Computer science journals]]
[[Category:Computer science journals]]
[[Category:Logic journals]]
[[Category:Logic journals]]
[[Category:English-language journals]]
[[Category:English-language journals]]
[[Category:Publications established in 1983]]
[[Category:Academic journals established in 1983]]
[[Category:Logic in computer science]]
[[Category:Logic in computer science]]
[[Category:Formal methods publications]]
[[Category:Formal methods publications]]

Latest revision as of 14:14, 20 July 2024

Journal of Automated Reasoning
DisciplineComputer science
LanguageEnglish
Edited byJasmin Blanchette
Publication details
History1983–present
Publisher
Frequency8/year
1.431 (2019)
Standard abbreviations
ISO 4J. Autom. Reason.
MathSciNetJ. Automat. Reason.
Indexing
CODENJAREEW
ISSN0168-7433 (print)
1573-0670 (web)
LCCNsf93093541
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]
  1. ^ Robert Veroff (1997), Automated reasoning and its applications, MIT Press, ISBN 9780262220552
  2. ^ Allen B. Tucker (28 June 2004), Computer science handbook, CRC Press, ISBN 9780203494455
  3. ^ "Journal of Automated Reasoning". Springer. Retrieved 11 January 2021.
[edit]
Retrieved from "https://en.wikipedia.org/enwiki/w/index.php?title=Journal_of_Automated_Reasoning&oldid=1235663812"