Back to Results
First PageMeta Content
Mathematical logic / Logic / Theoretical computer science / Automated theorem proving / Proof theory / Logic programming / Logic in computer science / Type theory / Unification / Uninterpreted function / Equational logic / Variety


Integrating Theories into Inference Systems DIPLOMARBEIT zur Erlangung des akademischen Grades Diplom-Ingenieur/in
Add to Reading List

Document Date: 2011-04-15 18:12:26

Open Document

File Size: 531,06 KB

Share Result on Facebook
UPDATE