Title: Improved theorem prover by using the semantics of structure
Description: This volume was digitized and made accessible online due to deterioration of the original print copy.
Subjects: Automatic theorem proving, Logic, Symbolic and mathematical, Predicate calculus--Data processing, Formal languages--Semantics