This report describes the third in a series of computer experiments designed to explore the extent to which computers may feasibly be used in doing formal mathematics.Expand

Abstract : The subject of this report is mechanical theorem proving, and in it are described two computer programs that represent an approach different from the usual ones based on the Herbrand… Expand

In certain applications of truth-function logic it is of interest to consider the minimization problem in a more general form.1 So-called “algebraic” procedures for determining the irredundant forms… Expand