Volume 47, Issue 4
December 2011Special Issue on Selected Papers from the 5th International Joint Conference on Automated Reasoning
- Issue Editors:
-
- Jürgen Giesl,
- Reiner Hähnle
7 articles in this issue