Journal of Automated Reasoning

J. Autom. Reason. doesn't exist. Please verify that |abbreviation=J. Autom. Reason. in {{Infobox journal}} is the correct ISO 4 abbreviation. (Or search the LTWA manually, see directions). Then create a redirect to this article by following this link.

J Autom Reason doesn't exist. Please verify that |abbreviation=J. Autom. Reason. in {{Infobox journal}} is the correct ISO 4 abbreviation. (Or search the LTWA manually, see directions). Then create a redirect to this article by following this link.

J. Automat. Reason. doesn't exist. Please verify that |abbreviation=J. Automat. Reason. in {{Infobox journal}} is the correct MathSciNet abbreviation. (Or search search MathSciNet manually.) Then create a redirect to this article by following this link.

J Automat Reason doesn't exist. Please verify that |abbreviation=J. Automat. Reason. in {{Infobox journal}} is the correct MathSciNet abbreviation. (Or search search MathSciNet manually.) Then create a redirect to this article by following this link.

Journal of Automated Reasoning  

|Subject |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 (alt) · Bluebook (alt1 · alt2) NLM (alt) · MathSciNet (alt )
ISO 4	J. Autom. Reason.
MathSciNet	J. Automat. Reason.
Indexing CODEN · JSTOR (alt) · LCCN (alt) MIAR · NLM (alt) · Scopus
CODEN	JAREEW
ISSN	0168-7433 (print) 1573-0670 (web)
LCCN	sf93093541
OCLC no.	263592661
Links
Journal homepage Online access

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, an associate professor of computer science at the Vrije Universiteit Amsterdam. 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

External links

0.00 (0 votes) Original source: https://en.wikipedia.org/wiki/Journal of Automated Reasoning. Read more