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

Proceedings

  • Abstracts of contributed talks
    [pdf]

Workshop Information

 
 
 

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