Login required

Jump to: navigation, search

Please log in to edit pages.

Return to CADE.

Retrieved from "https://www.openresearch.org/wiki/CADE"

Facts about "CADE"

EventSeries acronym	CADE +
Field	Category:Automated reasoning +
Has Average Acceptance Rate	43.6 +
Has CORE Rank	A +
Homepage	http://www.cadeinc.org/ +
IsA	EventSeries +
Title	International Conference on Automated Deduction +