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