![](https://media.springernature.com/w90/springer-static/cover/journal/10817/40/2.jpg?as=webp)
Volume 40, Issue 2-3
March 2008Selected Papers from the 3rd International Joint Conference on Automated Reasoning
- Issue Editor:
-
- Ulrich Furbach
7 articles in this issue