Preface: The field of automated reasoning

Larry Wos
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