Deduction automated logic.

Automated Deduction - CADE 28 28th International Conference on Au

Automated Technology for Verification and Analysis 17th Internati

Automated Deduction -- CADE-24 24th International Conference on A

Automated Deduction - CADE-20 20th International Conference on Au

Automated Deduction - CADE-25 25th International Conference on Au

Automated Deduction - CADE-14 14th International Conference on Au

10th International Conference on Automated Deduction: Kaiserslautern, Frg, July