Back to Results
First PageMeta Content
Automated theorem proving / Propositional calculus / Condensed detachment / Axiom / Mathematical proof / Theorem / Substitution / Logic / Mathematics / Mathematical logic


Document Date: 2009-02-26 12:09:14

Open Document

File Size: 146,55 KB

Share Result on Facebook
UPDATE