Similar Listings
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,