Results 161 to 170 of about 307,150 (181)
Some of the next articles are maybe not open access.
Refutational theorem proving using term-rewriting systems
Artificial Intelligence, 1985Jieh Hsiang
exaly
Propositional search efficiency and first-order theorem proving
1997Daivd Plaisted, Geoffrey Alexander
openaire +1 more source
A multi-agent framework for distributed theorem proving
Expert Systems With Applications, 2005Chih-Hung Wu
exaly
Term rewriting and beyond — theorem proving in Isabelle
Formal Aspects of Computing, 1989Tobias Nipkow
exaly
Strips: A new approach to the application of theorem proving to problem solving
Artificial Intelligence, 1971exaly
A Technique for Establishing Completeness Results in Theorem Proving with Equality
SIAM Journal on Computing, 1983exaly
Automated theorem proving by resolution in non-classical logics
Annals of Mathematics and Artificial Intelligence, 2007Viorica Sofronie-Stokkermans
exaly
Theorem proving and programming with dynamic first order logic
2000van Eijck, D.J.N. +2 more
openaire +2 more sources