CADE conference proceedings

E260062 UNEXPLORED

CADE conference proceedings are the collected scholarly papers presented at the International Conference on Automated Deduction, documenting advances in automated reasoning and related fields.

Aliases (1)

CADE conference series ×1

Referenced by (2)

Full triples — surface form annotated when it differs from this entity's canonical label.

Andrei Voronkov → associatedWith → CADE conference proceedings →

this entity surface form: "CADE conference series"

Conference on Automated Deduction → hasProceedings → CADE conference proceedings →