CADE conference
E2141053
UNEXPLORED
The CADE conference is a leading international research meeting focused on automated deduction and related areas of automated reasoning in computer science and logic.
All labels observed (2)
| Label | Occurrences |
|---|---|
| CADE conference canonical | 1 |
| CADE conferences | 1 |
Referenced by (2)
Full triples — surface form annotated when it differs from this entity's canonical label.