Journal of Automated Reasoning: Difference between revisions
Content deleted Content added
m Adding category Category:English-language journals (using HotCat) |
m Adding category Category:Publications established in 1983 (using HotCat) |
||
| Line 9: | Line 9: | ||
[[Category:Logic journals]] |
[[Category:Logic journals]] |
||
[[Category:English-language journals]] |
[[Category:English-language journals]] |
||
[[Category:Publications established in 1983]] |
|||
Revision as of 20:03, 28 April 2010
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]
References
- ^ Robert Veroff, Automated reasoning and its applications
- ^ Allen B. Tucker, Computer science handbook
 | This article about an academic journal is a stub. You can help Wikipedia by expanding it. See tips for writing articles about academic journals. Further suggestions might be found on the article's talk page. |