Back to Results
First PageMeta Content
Automated theorem proving / Theoretical computer science / Rules of inference / Formal methods / Method of analytic tableaux / Lambda calculus / Unification / Calculus / Semantic reasoner / Mathematical logic / Mathematics / Logic


Document Date: 2012-02-03 12:06:02

Open Document

File Size: 465,75 KB

Share Result on Facebook
UPDATE