Workshop on Automated Reasoning
Bridging the Gap between Theory and Practice

 
 
 

 

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]
 
 
 

last modified on Friday, 15-Apr-2005 13:42:21 BST