ARW 2000 (King's College London, 20-21 July 2000)
The Seventh Workshop on Automated Reasoning was held in the week before
the First International
Conference on Computational Logic and the
Tenth International Conference on Inductive Logic Programming,
both of which took place at Imperial College, London.
Financial support was received from the
for Computer Science in Saarbrücken.
Hans Jürgen Ohlbach, Ulrich Endriss, Odinaldo Rodrigues,
and Stefan Schlobach, editors.
Proceedings of the Seventh Workshop on Automated Reasoning,
Bridging the Gap between Theory and Practice.
CEUR Workshop Proceedings, volume 32, July 2000.