Volume 45, Issue 2
August 2010Special Issue: Selected Papers from the 4th International Joint Conference on Automated Reasoning / Guest Edited by Alessandro Armando, Peter Baumgartner and Gilles Dowek
5 articles in this issue