Back to Results
First PageMeta Content
Software engineering / Logic / Mathematical logic / Logic programming / Logic in computer science / Automated theorem proving / Predicate logic / Prolog / Horn clause / Resolution / Partial evaluation / Mereology


Tutorial on Specialisation of Logic Programs J.P. Gallagher Department of Computer Science University of Bristol University Walk Bristol BS8 1TR, U.K.
Add to Reading List

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


Open Document

File Size: 162,56 KB

Share Result on Facebook