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.
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom