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
Financial support was received from
Compulog Net, the European Network of Excellence in Computational Logic.