Back to Results
First PageMeta Content
Rules of inference / Propositional calculus / Automated theorem proving / Boolean algebra / Ground expression / First-order logic / Modus ponens / Resolution / Function / Logic / Mathematical logic / Mathematics


Microsoft PowerPoint - session.16-18_a.ppt [Compatibility Mode]
Add to Reading List

Document Date: 2008-11-19 00:39:09

Open Document

File Size: 869,94 KB

Share Result on Facebook
UPDATE