Open AccessAutomated Deduction: Looking Ahead
Author(s) -
Loveland Donald W.
Publication year - 1999
Publication title -
ai magazine
Language(s) - Uncategorized
Resource type - Journals
SCImago Journal Rank - 0.597
H-Index - 79
eISSN - 2371-9621
pISSN - 0738-4602
DOI - 10.1609/aimag.v20i1.1442
Subject(s) - computer science
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.