Back to Results
First PageMeta Content
Software engineering / Declarative programming / Computer programming / Automated theorem proving / Logic programming / Prolog / Interpreter / Eval / Substitution / Resolution


Document Date: 2010-10-22 08:06:03

Open Document

File Size: 1,19 MB

Share Result on Facebook