Results 281 to 290 of about 523,591 (296)

Theorem Proving by Covering Expressions

Journal of the ACM, 1979
openaire   +2 more sources

Theorem Proving for Conditional Logics: CondLean and GOALDUCK

Journal of Applied Non-Classical Logics, 2008
Nicola Olivetti, Gian Luca Pozzato
exaly  

Problems and Experiments for and With Automated Theorem-Proving Programs

IEEE Transactions on Computers, 1976
exaly  

Abstract Theorem Proving.

1989
Giunchiglia, Fausto, T. Walsh
openaire   +2 more sources

Interactive Theorem Proving and Program Development

Texts in Theoretical Computer Science, 2004
Yves Bertot, Pierre Castéran
exaly  

Higher Order Logic Theorem Proving and Its Applications

Lecture Notes in Computer Science, 1995
exaly  

Theorem Proving and Security

2011
openaire   +1 more source

Theorem Proving With the Real Numbers

1998
John Harrison
exaly  

Theorem Proving in Artificial Neural Networks: New Frontiers in Mathematical AI

European Journal for Philosophy of Science
Markus Pantsar
exaly  

Machine Proving System for Mathematical Theorems in Coq — Machine Proving of Hausdorff Maximal Principle and Zermelo Postulate

2017
Wensheng Yu, Tianyu Sun
exaly