Title of article
Automated Deduction Looking Ahead
Author/Authors
Loveland، Donald W. نويسنده ,
Issue Information
فصلنامه با شماره پیاپی سال 2016
Pages
-76
From page
77
To page
0
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.
Journal title
AI Magazine
Serial Year
1999
Journal title
AI Magazine
Record number
2574
Link To Document