Results 291 to 300 of about 17,772 (305)

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

Journal of Automated Reasoning, 1987
William Mccune, Larry Wöß, Mccune William   +2 more
exaly  

Automated Theorem Proving

1982
openaire   +2 more sources

Term rewriting and beyond — theorem proving in Isabelle

Formal Aspects of Computing, 1989
Tobias Nipkow
exaly  

A reduction method for theorem proving based on the partial-instantiation technique

Decision Support Systems, 1998
Masahito Yamamoto, Azuma Ohuchi
exaly  

Theorem Proving by Covering Expressions

Journal of the ACM, 1979
openaire   +1 more source

Problems and Experiments for and with Automated Theorem-Proving Programs

IEEE Transactions on Computers, 1976
exaly  

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 in artificial neural networks: new frontiers in mathematical AI

European Journal for Philosophy of Science
Markus Pantsar, Pantsar Markus
exaly  

Theorem Proving and Security

2011
openaire   +1 more source

Methods for Automated Theorem Proving in Nonclassical Logics

IEEE Transactions on Computers, 1976
exaly