Volume 43, Issue 3, October 2009

Special Issue: Computer Assisted Reasoning: A Festschrift for Michael J. C. Gordon / Guest Edited by Richard Boulton, Joe Hurd and Konrad Slind

ISSN: 0168-7433 (Print) 1573-0670 (Online)