Future Directions of Automated Deduction

Available at this site are the full report of the NSF Workshop on the Future Directions of Automated Deduction and also the contributions submitted to the workshop from the Automated Deduction community in preparation for the development of the report.

Details regarding the genesis and structure of the workshop, including the reasons for its creation are given in the Preface of the report. Participants in the workshop are listed in Appendix A of the report.

© Dept. of Computer Science, Duke University.

Document last changed: 12/30/97
Report suggestions and problems to: dwl@cs.duke.edu.