Workshop on Automated Reasoning

Bridging the Gap between Theory and Practice



Until the 2001 workshop, the web pages for this workshop series were maintained by Alan Frisch at this URL. The workshop's web pages are now maintained by Ulle Endriss and are located at

http://www.dcs.kcl.ac.uk/staff/endriss/ARW/

Related Information