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

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

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

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

Automated Deduction -- CADE-23 - 9783642224379

Automated Deduction in Geometry: 8th International Workshop, ADG 2010, Munich, G

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

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