Improved theorem prover by using the semantics of structure
Publisher: Kansas State University
Published: 1985
Language: eng
Number of pages: 46
Subjects: Automatic theorem proving; Logic, Symbolic and mathematical; Predicate calculus--Data processing; Formal languages--Semantics
Description: This volume was digitized and made accessible online due to deterioration of the original print copy.