Workshop on Automated Reasoning
Bridging the Gap between Theory and Practice

 
 
 

 

ARW 2001 (University of York, 22-23 March 2001)

The Eighth Workshop on Automated Reasoning was held as part of the AISB 2001 Convention, which was organised by AISB. Complete information about the workshop is also available from the ARW 2001 web site.

Proceedings

Workshop Information

 
 
 

last modified on Friday, 15-Apr-2005 13:42:21 BST