First Page | Document Content | |
---|---|---|
![]() Date: 2013-05-10 10:15:01Logic in computer science Logic Mathematical logic Conjunctive query Database theory Datalog Logic programming Resolution Rewriting Theoretical computer science Mathematics Query languages | Source URL: www.cs.ox.ac.ukDownload Document from Source WebsiteFile Size: 551,67 KBShare Document on Facebook |