First Page | Document Content | |
---|---|---|
Date: 2010-10-22 08:05:29Software 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 ListSource URL: repository.readscheme.orgDownload Document from Source WebsiteFile Size: 162,56 KBShare Document on Facebook |