Results 211 to 219 of about 38,933 (219)
Some of the next articles are maybe not open access.
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
An Empirical Assessment of Progress in Automated Theorem Proving
Lecture Notes in Computer ScienceGeoff Sutcliffe, Zain Khalid
exaly
The KRIPKE automated theorem proving system
1986Paul B. Thistlewaite +2 more
openaire +1 more source
On the application of Buchberger's algorithm to automated geometry theorem proving
Journal of Symbolic Computation, 1986exaly
Strips: A new approach to the application of theorem proving to problem solving
Artificial Intelligence, 1971exaly