Automated Deduction: Looking Ahead
Abstract
In this article, the body of a report on automated deduction is presented that notes some significant achievements and takes a studied look at the future of the field.
Copyright © 2012, Association for the Advancement of Artificial Intelligence (www.aaai.org). All rights reserved.