ARW 1994 (University of Leeds, 11-12 April 1994)
The First Workshop on Automated Reasoning was held as part of the
1994 AISB Workshop and Tutorial Series, which was organised by
Additional sponsorship was received from the University of Leeds
Centre for Theoretical
Computer Science and the University of York
Intelligent Systems Group.