McCune - Automated Deduction - CADE-14 14th International Conference - X555z

Automated Deduction CADE-20: 20th International Conference on Automated Deductio

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

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

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

Automated Deduction in Geometry: 7th International Workshop, ADG 2008, Shanghai,

Automated Reasoning: 6th International Joint Conference, IJCAR 2012, Manchester,

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