Results 251 to 260 of about 349,803 (277)

Strips: A new approach to the application of theorem proving to problem solving

Artificial Intelligence, 1971
exaly  

Refutational theorem proving using term-rewriting systems

Artificial Intelligence, 1985
Jieh Hsiang
exaly  

Problems and Experiments for and with Automated Theorem-Proving Programs

IEEE Transactions on Computers, 1976
exaly  

Interactive Theorem Proving

2010
openaire   +1 more source

Combining Theorem Proving with Model Checking through Predicate Abstraction

IEEE Design and Test of Computers, 2007
Sandip Ray
exaly  

Automatic Theorem-Proving.

The Philosophical Quarterly, 1967
Czeslaw Lejewski, Zdzislaw Pawlak
openaire   +1 more source

Theorem proving in artificial neural networks: new frontiers in mathematical AI

European Journal for Philosophy of Science
Markus Pantsar
exaly  

Basic principles of mechanical theorem proving in elementary geometries

Journal of Automated Reasoning, 1986
exaly  

A Technique for Establishing Completeness Results in Theorem Proving with Equality

SIAM Journal on Computing, 1983
exaly  

Methods for Automated Theorem Proving in Nonclassical Logics

IEEE Transactions on Computers, 1976
exaly