ARW 1995 (University of Sheffield, 4 April 1995)
The Second Workshop on Automated Reasoning was held as part of the
workshop series affiliated with
The Tenth Biennial Conference on AI and Cognitive Science,
which was organised by
AISB.
Financial support was received from
Compulog Net, the European Network of Excellence in Computational Logic.
Proceedings
Workshop Information
|