Declarative - PDFSEARCH.IO - Document Search Engine

Declarative
Results: 769

#	Item
301	A Declarative View of Inheritance in Logic Programming M. Bugliesi Dipartimento di Matematica Pura ed Applicata Via Belzoni 7, Padova – ITALY Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 07:12:30 Deduction Philosophy of language Model theory Natural deduction Modal logic Sheaf Interpretation Entailment Formal semantics Logic Philosophical logic Semantics
302	10 TECHNOLOGY IRELANDForeseeing problems, finding choices multinational involved Add to Reading List Source URL: www.cse.cuhk.edu.hk Language: English - Date: 2007-06-23 04:49:34 Declarative programming Alcatel-Lucent Sudoku E-procurement Computing Business Constraint programming Mathematics Recreational mathematics
303	Finding Minimal Unsatisfiable Cores of Declarative Specifications Emina Torlak, Felix Sheng-Ho Chang and Daniel Jackson MIT Computer Science and Artificial Intelligence Laboratory {emina, fschang, dnj}@mit.edu Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-08-13 19:26:58 Mathematics Rules of inference Propositional calculus Unsatisfiable core Resolution Conjunctive normal form SQL Automated theorem proving Logic Mathematical logic
304	Journal of Object Technology Published by AITO — Association Internationale pour les Technologies Objets http://www.jot.fm/ Babelsberg: Specifying and Solving Constraints on Object Behavior Add to Reading List Source URL: www.jot.fm Language: English - Date: 2014-08-21 12:43:43 Computer programming Constraint logic programming Kaleidoscope Constraint satisfaction problem Cassowary Constraint Prolog Satisfiability Modulo Theories Constraint satisfaction Constraint programming Declarative programming Software engineering
305	Aleksandar Milicevic Contact Information 32 Vassar St, Office G706 Computer Science and Artificial Intelligence Laboratory Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2014-10-06 20:27:30 Computing Daniel Jackson Alloy Constraint programming Declarative programming Imperative programming Programming language Domain-specific language Software engineering Programming paradigms Computer programming
306	λ ICFPEdinburgh, Scotland Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-03-25 12:06:46 Computing International Conference on Functional Programming SIGPLAN Haskell Generic programming Philip Wadler Declarative programming Software engineering Functional programming
307	Gregory Gelfond Department of Computer Science Texas Tech University Lubbock, TXPhone: 408–506–1991 Email: Add to Reading List Source URL: myweb.ttu.edu Language: English Computer programming Logic programming Prolog Stable model semantics Programming language Declarative programming Knowledge representation and reasoning Software engineering Programming paradigms Computing
308	Manuscript Click here to view linked References Comparing the benefits of Caffeine, Naps and Placebo on Verbal, Motor and Perceptual Memory Sara C. Mednick Ph.D.1, Denise J. Cai M.A.3, Jennifer Kanady B.S.1, Sean P.A. Add to Reading List Source URL: www.saramednick.com Language: English - Date: 2008-07-05 21:43:44 Sleep Memory Neuroscience Mental processes Cognitive science Nap Declarative memory Sleep deprivation Procedural memory Mind Biology Ethology
309	MSFPIdioms are oblivious, arrows are meticulous, monads are promiscuous Sam Lindley, Philip Wadler and Jeremy Yallop Laboratory for Foundations of Computer Science Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-01-26 12:31:23 Functional programming Software engineering Logic in computer science Combinatory logic Arrow Monad Curry–Howard correspondence Natural deduction Declarative programming Theoretical computer science Lambda calculus
310	Model Driven Provisioning: Bridging the Gap Between Declarative Object Models and Procedural Provisioning Tools Kaoutar El Maghraoui1 , Alok Meghranjani2 , Tamar Eilam3 , Michael Kalantar3 , and Alexander V. Konstantinou Add to Reading List Source URL: wcl.cs.rpi.edu Language: English - Date: 2015-01-22 12:32:42 Provisioning Telecommunications Enterprise application integration Tivoli Provisioning Manager Workflow Orchestration Data center Database Automated planning and scheduling Computing Concurrent computing Distributed computing

UPDATE