Results 241 to 250 of about 349,803 (277)

Interactive Theorem Proving

2021
Asad Ahmed, Osman Hasan, Falah Awwad, Nabil Bastaki   +3 more
openaire   +1 more source

Resolution Theorem Proving

Annual Review of Computer Science, 1988
openaire   +1 more source

Composition of Semantic Web services using Linear Logic theorem proving

Information Systems, 2006
Jinghai Rao, Peep Küngas, Mihhail Matskin   +2 more
exaly  

Theorem proving

1976
openaire   +1 more source

Fermat's Theorem Proved?

Science, 1988
openaire   +2 more sources

Theorem proving for conditional logics: CondLean and GOALD U CK

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

Verifying safety properties of a nonlinear control by interactive theorem proving with the Prototype Verification System

Information Processing Letters, 2016
Cinzia Bernardeschi, Andrea Domenici
exaly  

Theorem Proving and Security

2011
openaire   +1 more source

A multi-agent framework for distributed theorem proving

Expert Systems With Applications, 2005
Chih-Hung Wu
exaly  

Automated Theorem Proving

1982
openaire   +1 more source