Workshop on Automated Reasoning
Bridging the Gap between Theory and Practice

 
 
 

 

ARW 1996 (University of Sussex, 1-2 April 1996)

The Third Workshop on Automated Reasoning was held as part of the 1996 AISB Workshop and Tutorial Series, which was organised by AISB. Financial support was received from Compulog Net, the European Network of Excellence in Computational Logic.

Proceedings

Workshop Information

 
 
 

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