Journal of Automated Reasoning: Difference between revisions
Content deleted Content added
layout, wikilinks |
m Removed Category:Academic journals (using HotCat) |
||
| Line 5: | Line 5: | ||
{{reflist}} |
{{reflist}} |
||
[[Category:Academic journals]] |
|||
[[Category:Logic]] |
[[Category:Logic]] |
||
{{journal-stub}} |
{{journal-stub}} |
||
Revision as of 20:02, 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. |