<--- Back to Details
| 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 |
Add to Reading List |
Tutorial on Specialisation of Logic Programs J.P. Gallagher Department of Computer Science University of Bristol University Walk Bristol BS8 1TR, U.K.
