Back to Results
First PageMeta Content
Theoretical computer science / Mathematical logic / Mathematics / Logic programming / Logic in computer science / Automated theorem proving / Formal methods / Unification / Lambda calculus / Constraint logic programming / Conjunctive normal form


¨ DES SAARLANDES UNIVERSITAT FR 6.2 – Informatik Christoph Weidenbach Lecture “Automated Reasoning”
Add to Reading List

Document Date: 2013-08-19 07:45:21

Open Document

File Size: 145,01 KB

Share Result on Facebook
UPDATE