Difference between revisions of "Category:Automated reasoning"
(New page: {{research_field}}) |
|||
Line 1: | Line 1: | ||
{{research_field}} | {{research_field}} | ||
+ | |||
+ | [[Category:Cognitive science]] |
Revision as of 13:52, 12 August 2008
Automated reasoning | |
---|---|
Editor: | Become editor of this category |
Top conference series
Acronym | Title | CORE2017 | Avg. acc. rate |
---|---|---|---|
IJCAR | International Joint Conference on Automated Reasoning | A* | 41.3 |
CADE | International Conference on Automated Deduction | A | 43.6 |
Upcoming conferences
|
|
|
Pages in category "Automated reasoning"
The following 37 pages are in this category, out of 37 total.