Results 201 to 210 of about 38,933 (219)
Some of the next articles are maybe not open access.
Session details: Automated theorem proving
Proceedings of the 17th ACM SIGPLAN international conference on Functional programming, 2012openaire +1 more source
Problems and Experiments for and with Automated Theorem-Proving Programs
IEEE Transactions on Computers, 1976exaly
On the calculus of positively constructed formulas for automated theorem proving
Automatic Control and Computer Sciences, 2012Artem Davydov Davydov +1 more
exaly
Applying Autoencoder to Automated Theorem Proving
2022 4th International Conference on Frontiers Technology of Information and Computer (ICFTIC), 2022openaire +1 more source
Methods for Automated Theorem Proving in Nonclassical Logics
IEEE Transactions on Computers, 1976exaly
A case study in automated theorem proving: Finding sages in combinatory logic
Journal of Automated Reasoning, 1987exaly
Automated Theorem Proving Practice with Null Geometric Algebra
Journal of Systems Science and Complexity, 2019exaly
Automated theorem proving: A logical base
Mathematics and Computers in Simulation, 1980openaire +1 more source