Abstract: In this paper we describe a complex information processing system, which we call the logic theory machine, that is capable of discovering proofs for theorems in symbolic logic. This system, ...
Some results have been hidden because they may be inaccessible to you