Workshop on Automated Reasoning
Bridging the Gap between Theory and Practice

 
 
 

 

ARW 1997 (University of Manchester, 7-8 April 1997)

The Fourth Workshop on Automated Reasoning was held as part of the 1997 AISB Workshop and Tutorial Series, which was organised by AISB. Financial support was received from Compulog Net, the European Network of Excellence in Computational Logic. Complete information about the workshop is also available from the ARW 1997 web site.

Proceedings

Workshop Information

  • Call for papers and participation
    [html]   [text]
  • List of participants
    [text]
  • Photo of participants by Mark William Stracey
    [tiff]
  • Workshop organisers
    [text]
 
 
 

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