CSE_E 1.0: An Integrated Automated Theorem Prover for First-Order Logic
Sign Up to like & getrecommendations! Published in 2019 at "Symmetry"
DOI: 10.3390/sym11091142
Abstract: First-order logic is an important part of mathematical logic, and automated theorem proving is an interdisciplinary field of mathematics and computer science. The paper presents an automated theorem prover for first-order logic, called C S… read more here.
Keywords: automated theorem; order; first order; cse ... See more keywords