Back to Results
First PageMeta Content
Logic / Logic programming / Rules of inference / Unification / Theoretical computer science / Occurs check / Prolog / First-order logic / Resolution / Mathematics / Mathematical logic / Automated theorem proving


Unification: A Multidisciplinary
Add to Reading List

Document Date: 2004-12-06 11:56:54

Open Document

File Size: 2,76 MB

Share Result on Facebook
UPDATE