Category:Automated reasoning

From Openresearch
Jump to: navigation, search
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 …