Puneet Varma (Editor)

Journal of Automated Reasoning

Updated on
Share on FacebookTweet on TwitterShare on LinkedInShare on Reddit
Covid-19
Abbreviated title (ISO 4)  J. Autom. Reason.
Language  English
Publication history  1983-present
Discipline  Computer science
Edited by  Tobias Nipkow
Publisher  Springer Science+Business Media

The Journal of Automated Reasoning was established in 1983 by Larry Wos who was its editor in chief until 1992. It covers research and advances in automated reasoning — mechanical verification of theorems and other deductions in classical and non-classical logic.

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.

References

Journal of Automated Reasoning Wikipedia


Similar Topics
Casey Patton
Andrew Cohen (poker player)
Pat Ha
Topics
 
B
i
Link
H2
L