Volume 37, Issue 1-2
August 2006Empirically Successful Automated Reasoning: Applications Issue
7 articles in this issue
Empirically Successful Automated Reasoning: Applications Issue