Title of article :
Automated Deduction Looking Ahead
Author/Authors :
Loveland، Donald W. نويسنده ,
Issue Information :
فصلنامه با شماره پیاپی سال 2016
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
Journal title :
AI Magazine
