Automated Deduction: Looking Ahead

  • Donald W. Loveland

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.
Published
1999-03-15
How to Cite
Loveland, D. W. (1999). Automated Deduction: Looking Ahead. AI Magazine, 20(1), 77. https://doi.org/10.1609/aimag.v20i1.1442
Section
Articles