Difference between revisions of "Category:Automated reasoning"
(New page: {{research_field}}) |
(No difference)
|
Revision as of 18:36, 11 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.
