First Page | Document Content | |
---|---|---|
Date: 2013-12-06 10:10:42Lambda calculus Logic programming Functional programming Higher-order functions Model theory Unification Function Interpretation Constraint logic programming Software engineering Declarative programming Computing | J. LOGIC PROGRAMMING 1993:16:TOWARDS A MEANING OF LIFE?Add to Reading ListSource URL: hassan-ait-kaci.netDownload Document from Source WebsiteFile Size: 2,97 MBShare Document on Facebook |