View of An Automated Theorem Generator with Theoretical Foundation Based on Rectangular Standard Contradiction

##article.return## An Automated Theorem Generator with Theoretical Foundation Based on Rectangular Standard Contradiction Download Download PDF