journal contribution
posted on 2012-06-01, 00:00 authored by Peter B. Andrews<p>We discuss some of the opportunities and problems which may confront the field of automated reasoning in the years ahead. We focus on various issues related to the development of a Universal Automated Information System for Science and Technology, and the problem of developing institutional support for long-term projects</p>