Workshop on Automated Reasoning
Bridging the Gap between Theory and Practice

 
 
 

 

ARW 2006 (University of Bristol, 3-4th April 2006)

The Thirteenth Workshop on Automated Reasoning was co-located with AISB 2006. Financial support was received from the British Logic Colloquium and Microsoft Research Cambridge.

Proceedings

Workshop Information

 
 
 

last modified on Wednesday, 05-Apr-2006 17:00:21 BST