First Page | Document Content | |
---|---|---|
![]() Date: 2008-01-29 07:56:37Model theory Information science Ontology Boolean satisfiability problem Description logic First-order logic Algorithm Axiom Satisfiability Logic Mathematical logic Mathematics | Source URL: www.cs.ox.ac.ukDownload Document from Source WebsiteFile Size: 1,02 MBShare Document on Facebook |