Volume 39, Issue 2
August 2007Special Issue on User Interfaces in Theorem Proving
6 articles in this issue
Special Issue on User Interfaces in Theorem Proving