Browsing by Subject "Conceptual reasoning and proving"
Now showing items 1-1 of 1
-
ConProve: A conceptual prover system
( IEEE , 2014 , Conference Paper)ConProve is an automated prover for propositional logic. It takes, as an input, a set of propositional formulas and proves whether a goal holds or not. ConProve converts each formula to its corresponding Truth Table Binary ...