ARW 1999 (University of Edinburgh, 8-9 April 1999)
The Sixth Workshop on Automated Reasoning was held as part of the
AISB'99 Convention, which was organised by
AISB.
Two sessions were shared with the
Symposium on AI and Scientific Creativity.
Financial support was received from
Compulog Net,
the European Network of Excellence in Computational Logic.
Proceedings
Workshop Information
|