First Page | Document Content | |
---|---|---|
![]() Date: 2006-10-10 10:09:19Functions and mappings Predicate logic Model theory Prolog Function Datalog Predicate variable FO Inference Logic Mathematics Mathematical logic | Source URL: ssdi.di.fct.unl.ptDownload Document from Source WebsiteFile Size: 1,38 MBShare Document on Facebook |