Skip to main content
Log in
Search all Journal of Automated Reasoning articles

Volume 47, Issue 4

December 2011

Special 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

Navigation