CADE
E260061
UNEXPLORED
CADE is a leading international conference focused on research and advances in automated reasoning and automated theorem proving.
Referenced by (6)
| Subject (surface form when different) | Predicate |
|---|---|
|
CADE Inc.
→
Conference on Automated Deduction → |
abbreviation |
|
Commission on Access, Diversity and Excellence
→
|
hasAbbreviation |
|
Conference on Automated Deduction
→
|
hasAcronym |
|
CADE Inc.
→
|
relatedConferenceSeries |
|
Conference on Automated Deduction
→
|
shortName |