Back to Results
First PageMeta Content
Software engineering / Computer programming / Programming paradigms / Logic / Logic programming / Automated theorem proving / Prolog / Substitution / Interpreter / Term / Programming language / Declarative programming


Specialising the Ground Representation in the Logic Programming Language G odel. C.A.Gurr
Add to Reading List

Document Date: 2010-10-22 08:05:11


Open Document

File Size: 235,45 KB

Share Result on Facebook