Difference between revisions of "Category:Automated reasoning"

From Openresearch
Jump to: navigation, search
(New page: {{research_field}})
 
m
 
(9 intermediate revisions by 9 users not shown)
Line 1: Line 1:
 
{{research_field}}
 
{{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

AcronymTitleCORE2017Avg. acc. rate
IJCARInternational Joint Conference on Automated ReasoningA*41.3
CADEInternational Conference on Automated DeductionA43.6

Upcoming conferences


Conferences   [Cal. 2016]

  • The part "[[" of the query was not understood. Results might not be as expected.
  • The symbol "[[" was used in a place where it is not useful.
  more …


Event Series


Fora

  more …

Projects

  more …

Organizations

  more …

Journals

  more …

Publication Calls

  • The part "[[" of the query was not understood. Results might not be as expected.
  • The symbol "[[" was used in a place where it is not useful.
  more …