F-logic - PDFSEARCH.IO - Document Search Engine

F-logic
Results: 483

#	Item
211	Declarative program development in Prolog with GUPU Ulrich Neumerkel and Stefan Kral Institut f¨ ur Computersprachen Technische Universit¨ Add to Reading List Source URL: www.complang.tuwien.ac.at Language: English - Date: 2002-07-22 17:21:33 Prolog Functional languages Procedural programming languages Higher-order functions Recursion Assertion Logic programming XS ML Software engineering Computer programming Computing
212	The Service-Dominant Mindset1 Robert F. Lusch University of Arizona [removed] Stephen L. Vargo Add to Reading List Source URL: www.sdlogic.net Language: English - Date: 2009-03-31 10:34:02 Service dominant logic Service system Service science management and engineering Value network Service Market Value proposition Business marketing Selling Business Marketing Management
213	Meta-model-based implementation of Sudoku: Eclipse vs. Visual Studio Ingelin F. Isfeldt Terje Gjøsæter Andreas Prinz Add to Reading List Source URL: www.nik.no Language: English - Date: 2009-01-21 06:22:52 Logic puzzles Recreational mathematics NP-complete problems Sudoku Object Constraint Language Eclipse Domain-specific language ECO Metamodeling Software Computing Unified Modeling Language
214	S-D Logic: Accomodating, Integrating, Transdisciplinary S-D Logic Robert F. Lusch Add to Reading List Source URL: www.sdlogic.net Language: English - Date: 2010-10-06 11:08:43 Knowledge Academia Philosophy of mathematics Co-creation Logic Resource Market Mathematical logic Service science management and engineering Science Service dominant logic Interdisciplinary fields
215	Verifying Two Lines of C with Why3: an Exercise in Program Verification? Jean-Christophe Filliˆatre CNRS LRI, Univ Paris-Sud, CNRS, Orsay F[removed]INRIA Saclay-ˆIle-de-France, ProVal, Orsay F-91893 Add to Reading List Source URL: why3.lri.fr Language: English - Date: 2011-11-16 09:42:27 Program logic Linear differential equation Formal methods Ordinary differential equations Predicate transformer semantics
216	REFRAMING SUPPLY CHAIN MANAGEMENT: A SERVICE-DOMINANT LOGIC PERSPECTIVE ROBERT F. LUSCH University of Arizona Shifting the dominant thinking of supply chain management toward the Add to Reading List Source URL: www.sdlogic.net Language: English - Date: 2012-02-16 14:46:17 Service dominant logic Marketing Supply chain management Strategic management Value Co-creation Value chain management capability Business Management Technology
217	Marketing’s Evolving Identity: Defining Our Future Robert F. Lusch Marketing thought and practice has evolved over the past 100 years from a philosophy of taking things to market to a philosophy of market(ing) to custo Add to Reading List Source URL: www.sdlogic.net Language: English - Date: 2009-05-22 12:00:50 Societal marketing Integrated marketing communications Relationship marketing Macromarketing Global marketing Co-creation Marketing operations Marketing Business Service dominant logic
218	S-D Logic: Making Sense of Economy & Society S-D Logic Robert F. Lusch Add to Reading List Source URL: www.sdlogic.net Language: English - Date: 2012-02-26 15:55:15 Logic Philosophy of mathematics Output Service dominant logic Good Science Abstraction Axiology
219	Heylighen F[removed]): "Classical and Non-classical Representations in Physics II: Quantum mechanics", Cybernetics and Systems 21, p[removed]Classical and Non-Classical Representations in Physics II: Quantum Mechanics Add to Reading List Source URL: cleamc11.vub.ac.be Language: English - Date: 2014-05-02 12:27:32 Quantum state Quantum superposition Observable Hilbert space Schrödinger equation Wave function Operator Position operator Quantum probability Physics Quantum mechanics Quantum logic
220	10.6 Monotone circuits 123 For two boolean functions f and g in n variables, we write f 6 g if f (x) 6 g(x) for all x ∈ {0, 1}n . Add to Reading List Source URL: lovelace.thi.informatik.uni-frankfurt.de Language: English - Date: 2007-08-30 03:42:27 Algebraic logic Boolean algebra

UPDATE