Volume 24, Issue 1
April 2010Automated Deduction
16 articles in this issue
Automated Deduction