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
|