Felty - Automated Deduction - CADE-25 25th International Conference - X555z

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

Automated Deduction - CADE-17 : 17th International Conference on

Automated Deduction - CADE-16 : 16th International Conference on

- Automated Deduction - CADE-25: 25th International Conference on Automated Dedu

Automated Deduction - CADE-15 Vol. 142 : 15th International Confe

Automated Deduction -- CADE-23 - 9783642224379

Automated Deduction -- CADE-23: 23rd International Conference on Automated Deduc