Back to Results
First PageMeta Content
Automated theorem proving / Logical consequence / Proof theory / Philosophical logic / First-order logic / Resolution / Propositional calculus / Axiom / Inference / Logic / Mathematical logic / Mathematics


Microsoft PowerPoint - ATP.ppt
Add to Reading List

Document Date: 2010-09-28 21:48:06

Open Document

File Size: 700,75 KB

Share Result on Facebook
UPDATE