Volume 43, Issue 3
October 2009Special Issue: Computer Assisted Reasoning: A Festschrift for Michael J. C. Gordon / Guest Edited by Richard Boulton, Joe Hurd and Konrad Slind
5 articles in this issue