next up previous contents
Next: Preface





Automated Deduction



Some Achievements and Future Directions




Report of a Workshop on the
Future Directions of Automated Deduction
April 20-21, 1996
Chicago



Donald W. Loveland
Workshop Chair and Report Author




The workshop was supported by National Science Foundation grant CCR-9625544. The report reflects viewpoints expressed at the workshop by the participants and solicited input from other researchers and users, as interpreted and expanded by the author. This document is a report to the National Science Foundation and does not represent policies or viewpoints of NSF or any other agency.



 

Donald Loveland
12/29/1997