Automated Deduction - CADE-25 - 9783319214009

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

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

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

International Conference on Automated Deduction: Proceedings. 88, Oxford, Engla

Stickel, Mark E. - 10th International Conference on Automated Deduction: Kaisers

International Conference on Automated Deduction: Proceedings. - 99, Argonne, Il

Siekmann - 8th International Conference on Automated Deduction Oxfor - X555z