Results 171 to 180 of about 307,150 (181)

Automated Design of Multiple-Valued Logic Circuits by Automatic Theorem Proving Techniques

IEEE Transactions on Computers, 1983
exaly  

A modular, tactic-based approach to first-order temporal theorem proving

2000
Castellini, Claudio, Smaill, Alan
openaire   +1 more source

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

Decision Support Systems, 1998
exaly  

Theorem proving in artificial neural networks: new frontiers in mathematical AI

European Journal for Philosophy of Science
Markus Pantsar
exaly  

Basic principles of mechanical theorem proving in elementary geometries

Journal of Automated Reasoning, 1986
exaly  

FTP 2009 First-Order Theorem Proving

2010
openaire   +1 more source

An approach to a systematic theorem proving procedure in first-order logic

Computing (Vienna/New York), 1974
exaly  

Model Evolution-Based Theorem Proving

IEEE Intelligent Systems, 2014
exaly  

Reducing Higher-Order Theorem Proving to a Sequence of SAT Problems

Journal of Automated Reasoning, 2013
exaly  

First-Order Theorem Proving: FTP 2009 Workshop Proceedings

2009
openaire   +1 more source