An improved theorem prover by using the semantics of structure - Johnson, Donald Gordon. (My University, 1985)
Call number: LD2668 .T4 1985 J63
Keywords: Automatic theorem proving.; Logic, Symbolic and mathematical.; Predicate calculus--Data processing.; Formal languages--Semantics.; Masters theses