Results 191 to 197 of about 25,305 (197)
Some of the next articles are maybe not open access.
Methods for Automated Theorem Proving in Nonclassical Logics
IEEE Transactions on Computers, 1976exaly
Automated Theorem Proving Practice with Null Geometric Algebra
Journal of Systems Science and Complexity, 2019exaly
A case study in automated theorem proving: Finding sages in combinatory logic
Journal of Automated Reasoning, 1987exaly
Automated Synthesis of Combinational Logic Using Theorem-Proving Techniques
IEEE Transactions on Computers, 1985exaly
Complexity and related enhancements for automated theorem-proving programs
Computers and Mathematics With Applications, 1976exaly