Workshop: The Role of Automated Deduction in Mathematics.

Simon Colton, Volker Sorge, Ursula Martin

Browse the full CADE paper archive.