C/C++
reis.lst
Associated article: Theorem Proving Using Semantic Resolution
Tags: C/C++ Parallel
_Theorem Proving using Semantic Resolution_ by Anthony Dos Reis /* A Theorem Prover for Propositional Logic * * This program uses the resolution principle restricted to * semantic clashes to prove theorems in propositional logic. * The premises and the negation of the conclusion must ...