Date of Original Version



Conference Proceeding

Rights Management

Copyright 2012 Peter B. Andrews

Abstract or Description

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

Included in

Mathematics Commons



Published In

Proceedings of the International Joint Conference on Automated Reasoning (IJCAR), 2012.