A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Preface: The field of automated reasoning
1995
Computers and Mathematics with Applications
The term automated reasoning (first introduced in 1980) accurately describes the objective of the field, the automation of logical reasoning. This article introduces scientists to the field and then briefly describes the papers found in this special issue.
doi:10.1016/0898-1221(95)90069-1
fatcat:oby6uqz5qrh6nhxrunon6q4aom