Next:
Executive Summary
Up:
No Title
Previous:
Preface
Contents
Contents
Executive Summary
Introduction
Major Accomplishments
Early Achievements
More Recent Achievements
Future Directions
Near-Term Opportunities
Longer-Term Opportunities
Verification
Program Synthesis
Mathematics
Mathematics Education
Beyond the Subareas
A Wider Role
Use of Human Resources
Conclusion
Appendices
References
Donald Loveland
12/29/1997