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
|