Conference on Automated Deduction (CADE)

A conference, workshop or journal: the thing that recurs, across all its years.

The main conference series on automated deduction, running since 1974: theorem provers, proof search, unification, decision procedures and the systems that implement them. It alternates with IJCAR, and its steering body also runs the CADE ATP System Competition.

Part of Lecture Notes in Computer Science.

1 reference