Workshop on Automated Reasoning
Bridging the Gap between Theory and Practice

 
 
 

 

ARW 2009 (University of Liverpool, 21st-22nd April 2009)

The Sixteenth Workshop on Automated Reasoning was held at University of Liverpool

Proceedings

  • Abstracts of contributed talks
    (unavailable)

Workshop Information

 
 
 

last modified on Monday, 18-May-2009 15:32:27 BST