Journal of Automated Reasoning: Difference between revisions

*Journal of Automated Reasoning*
Discipline	Computer science
Language	English
Edited by	Jasmin Blanchette
Publication details
History	1983–present
Publisher	Springer Science+Business Media
Frequency	8/year
Impact factor	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
	Journal homepage; Online access;

Browse history interactively

← Previous edit

Content deleted Content added

VisualWikitext

Inline

Latest revision as of 14:14, 20 July 2024

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

^ 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.

External links

Official website

[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.

[1]

[2]

[3]

@@ Line 2: / Line 2: @@
 | title = Journal of Automated Reasoning
 | cover =
+| language =
-| editor = Tobias Nipkow
+| editor = [[Jasmin Blanchette]]
 | discipline = [[Computer science]]
+| caption =
+| former_name =
 | abbreviation = J. Autom. Reason.
+| mathscinet = J. Automat. Reason.
 | publisher = [[Springer Science+Business Media]]
 | country =
 | frequency = 8/year
-| history = 1983-present
+| history = 1983–present
 | openaccess =
 | license =
-| impact = 0.714
+| impact = 1.431
-| impact-year =2011
+| impact-year = 2019
-| website = http://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-name = Online access
 | link2 =
 | link2-name =
 | JSTOR =
 | OCLC = 263592661
@@ Line 25: / Line 29: @@
 | 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=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]] &mdash; 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=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=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 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==
@@ Line 33: / Line 37: @@
 == External links ==
-* {{Official|1=http://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:Logic journals]]
 [[Category:English-language journals]]
-[[Category:Publications established in 1983]]
+[[Category:Academic journals established in 1983]]
 [[Category:Logic in computer science]]
 [[Category:Formal methods publications]]
-[[Category:Springer academic journals]]
+[[Category:Springer Science+Business Media academic journals]]