Automated Deduction - Cade-18: 18th International Conference on Automated: New

Automated Deduction-Cade-18 : 18th International Conference on Automated Dedu...

Automated Deduction - Cade-13: 13th International Conference on Automated De...

Automated Deduction - CADE-11: 11th International Conference on Automated De...

Andrei Voronkov Automated Deduction - CADE-18 (Paperback) (UK IMPORT)

Automated Deduction CADE 29: 29th International Conference on Automated Deductio

Automated Deduction: Cade-12 : 12th International Conference on A