Proceedings of the Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice

TitleProceedings of the Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice
Event date30 - 31 Mar 2010
LocationLondon