An improved theorem prover by using the semantics of structure

Johnson, Donald Gordon.2015-12-312015-12-311985http://hdl.handle.net/2097/27463Call number: LD2668 .T4 1985 J63Automatic theorem proving.Logic, Symbolic and mathematical.Predicate calculus--Data processing.Formal languages--Semantics.An improved theorem prover by using the semantics of structureTextMasters theses