Workshop on Automated Reasoning
Bridging the Gap between Theory and Practice



ARW 2010 (University of Westminster, 30-31st March 2010)

The Seventeenth Workshop on Automated Reasoning was held at University of Westminster

Complete information about the workshop is also available from the ARW 2010 web site at the University of Westminster


  • Abstracts of contributed talks

Workshop Information


last modified on Wednesday, 22-Dec-2010 12:48:29 GMT