Date of Original Version

6-2012

Type

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

Share

COinS
 

Published In

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