ARW 2002 (Imperial College, London, 3-4 April 2002)
The Ninth Workshop on Automated Reasoning was held as part
of the
AISB 2002 Convention, which was organised by
AISB.
Proceedings
Workshop Information
-
Call for papers and participation
[text]
-
Workshop organisers
[text]
|