F-logic - PDFSEARCH.IO - Document Search Engine

F-logic
Results: 483

#	Item
251	LOVE AND LOGIC ♥ LOVE AND LOGIC ♥ LOVE AND LOGIC ♥ LOVE AND LOGIC ♥ LOVE AND LOGIC ♥ LOVE AND LOGIC ♥ LOVE AND LOGIC ♥ LOVE AND LOGIC ♥ LOVE AND LOGIC ♥ LOVE AND LOGIC Prom: A Night of Many Decisions f Add to Reading List Source URL: www.loveandlogic.com Language: English - Date: 2014-08-01 13:01:10 Philosophy of mathematics Prom Film Academia Mathematical logic Science Abstraction Axiology Logic
252	Monitoring of real-time properties Andreas Bauer, Martin Leucker, and Christian Schallhart Institut f¨ur Informatik, Technische Universit¨at M¨unchen Abstract. This paper presents a construction for runtime monitors t Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2012-10-30 05:38:28 Formal methods Computer science Linear temporal logic Deterministic finite automaton Nondeterministic finite automaton Symbol Model theory Automata theory Models of computation Theoretical computer science
253	SALT—Structured Assertion Language for Temporal Logic Andreas Bauer, Martin Leucker? , and Jonathan Streit Institut f¨ ur Informatik, Technische Universit¨ at M¨ Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2012-10-30 05:38:29 Temporal logic Logic in computer science Propositional calculus Formal methods Linear temporal logic Model checking First-order logic Formal verification Interval temporal logic Logic Mathematical logic Theoretical computer science
254	Stephen L. Vargo & Robert F. Lusch Evolving to a New Dominant Logic for Marketing Marketing inherited a model of exchange from economics, which had a dominant logic based on the exchange of “goods,” which usually ar Add to Reading List Source URL: sdlogic.net Language: English - Date: 2006-11-20 19:34:05 Strategic management Service dominant logic Relationship marketing Core competency Supply chain management Service Sales Capitalism Exchange value Business Marketing Management
255	Heylighen F[removed]): "A Structural Language for the Foundations of Physics", International Journal of General Systems 18, p[removed]A Structural Language for the Foundations of Physics FRANCIS HEYLIGHEN Add to Reading List Source URL: pcp.vub.ac.be Language: English - Date: 2014-05-02 12:27:43 Constructible universe Ordinal number Quantum logic Dimensionless physical constant Function Abstraction Net Predicate Ordinal arithmetic Mathematics Mathematical logic Logic
256	Tobias Nipkow Programming and Proving in Isabelle/HOL le l Add to Reading List Source URL: isabelle.in.tum.de Language: English - Date: 2014-08-27 06:04:04 Logic in computer science Formal methods Type theory Functional languages Isabelle Lambda calculus HOL Id System F Theoretical computer science Applied mathematics Programming language theory
257	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: pcp.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
258	Heylighen F[removed]): "A Structural Language for the Foundations of Physics", International Journal of General Systems 18, p[removed]A Structural Language for the Foundations of Physics FRANCIS HEYLIGHEN Add to Reading List Source URL: pcp.vub.ac.be Language: English - Date: 2014-05-02 12:27:43 Constructible universe Ordinal number Quantum logic Dimensionless physical constant Function Abstraction Net Predicate Ordinal arithmetic Mathematics Mathematical logic Logic
259	New Developments in Artificial Intelligence and the Semantic Web Add to Reading List Source URL: www.stes.fi Language: English - Date: 2006-10-23 12:13:00 Information Science Knowledge representation Technical communication WSMO RosettaNet Semantic Web Services F-logic Formal ontology Semantic Web Web services Ontology
260	Adam Lockyer The logic of interoperability Australia’s acquisition of the F-35 Joint Strike Fighter Add to Reading List Source URL: ussc.edu.au Language: English - Date: 2013-04-29 21:52:17 ANZUS Royal Australian Air Force International relations International security Military Australian Defence Force Interoperability Australia–United States relations

UPDATE