Results 261 to 270 of about 349,803 (277)

Automated Theorem Proving

1978
openaire   +1 more source

Automated Theorem Proving

2015
openaire   +1 more source

Splitting and reduction heuristics in automatic theorem proving

Artificial Intelligence, 1971
exaly  

A machine program for theorem-proving

Communications of the ACM, 1962
exaly  

Non-resolution theorem proving

Artificial Intelligence, 1977
exaly  

A case study in automated theorem proving: Finding sages in combinatory logic

Journal of Automated Reasoning, 1987
exaly  

Automatic theorem proving

2007
openaire   +1 more source

Automatic Theorem Proving With Renamable and Semantic Resolution

Journal of the ACM, 1967
exaly  

Interactive theorem proving

2009
openaire   +1 more source

Interactive Theorem Proving

2012
openaire   +1 more source