Results 291 to 296 of about 523,591 (296)

First-Order Logic and Automated Theorem Proving

1990
Melvin Fitting
exaly  

Theorem Proving in Higher Order Logics

Lecture Notes in Computer Science, 2008
exaly  

Automated Theorem Proving

1987
exaly  

Theorem Proving in Higher Order Logics

Lecture Notes in Computer Science, 2005
exaly  

How to Prove Sklar’s Theorem

2013
Fabrizio Durante, Juan Fernández-Sánchez, Carlo Sempi   +2 more
openaire   +2 more sources

Theorem proving

1976
openaire   +1 more source