Prolegomena to a theory of mechanized formal reasoning
作者：
Highlights：
•
摘要
This is an informal description of my ideas about using formal logic as a tool for reasoning systems using computers. The theoretical ideas are illustrated by the features of fol. All of the examples presented have actually run using the fol system.
论文关键词：
论文评审过程：Received 22 January 1979, Available online 21 February 2003.
论文官网地址：https://doi.org/10.1016/0004-3702(80)90015-6
