تصفح حسب الموضوع "Conceptual reasoning and proving"
السجلات المعروضة 1 -- 1 من 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 ...