Automated Deduction: Looking Ahead

Authors

  • Donald W. Loveland

DOI:

https://doi.org/10.1609/aimag.v20i1.1442

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.

Downloads

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

Issue

Section

Articles