![](https://media.springernature.com/w110h61/springer-static/image/art%3A10.1007%2Fs13218-010-0003-9/MediaObjects/13218_2010_3_Fig1_HTML.jpg?as=webp)
![](https://media.springernature.com/w90/springer-static/cover/journal/13218/24/1.jpg?as=webp)
Volume 24, Issue 1
April 2010Automated Deduction
16 articles in this issue
Automated Deduction