Difference between revisions of "Category:Automated reasoning"
Jump to navigation
Jump to search
(crXmeOmF) |
m |
||
| (3 intermediate revisions by 3 users not shown) | |||
| Line 1: | Line 1: | ||
| − | + | {{research_field}} | |
| + | |||
| + | [[Category:Cognitive science]] | ||
Latest revision as of 13:15, 25 September 2016
| Automated reasoning | |
|---|---|
| Editor: | Become editor of this category |
Top conference series
| Acronym | Title | CORE2017 | Avg. acc. rate |
|---|---|---|---|
| IJCAR | International Joint Conference on Automated Reasoning | 41.3 | |
| CADE | International Conference on Automated Deduction | 45.0 |
Upcoming conferences
|
<ul><li>The part "[[" of the query was not understood.Results might not be as expected.</li> <!--br--><li>The symbol "[[" was used in a place where it is not useful.</li></ul> more …
|
<ul><li>The part "" of the query was not understood.Results might not be as expected.</li> <!--br--><li>Some use of "" in your query was not closed by a matching "".</li></ul> more …
<ul><li>The part "" of the query was not understood.Results might not be as expected.</li> <!--br--><li>Some use of "" in your query was not closed by a matching "".</li></ul> more …
<ul><li>The part "" of the query was not understood.Results might not be as expected.</li> <!--br--><li>Some use of "" in your query was not closed by a matching "".</li></ul> more …
|
<ul><li>The part "" of the query was not understood.Results might not be as expected.</li> <!--br--><li>Some use of "" in your query was not closed by a matching "".</li></ul> more …
<ul><li>The part "[[" of the query was not understood.Results might not be as expected.</li> <!--br--><li>The symbol "[[" was used in a place where it is not useful.</li></ul> more …
|
Pages in category "Automated reasoning"
The following 38 pages are in this category, out of 38 total.