F-logic - PDFSEARCH.IO - Document Search Engine

F-logic
Results: 483

#	Item
411	G R E G O I R E M A N A G E M E N T F R A M E W O R K Add to Reading List Source URL: www.ofm.wa.gov Language: English - Date: 2014-02-14 16:55:40 Logic model Process management Human resource management Strategic management Business process improvement Business Management Strategic planning
412	DOCID: [removed]f]pproved for reiease by NSA on[removed] , Transparency Case# 6385;;] An Evaluation of Conventional and LDD Devices for Submicron Geometries (U) STATUTORILY EXEMPT Add to Reading List Source URL: www.nsa.gov Language: English - Date: 2012-01-04 11:57:16 Integrated circuits Semiconductor devices MOSFET Hot carrier injection Transistor Field-effect transistor Self-aligned gate Threshold voltage Logic families Electrical engineering Electromagnetism Electronic engineering
413	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: courses.ischool.berkeley.edu Language: English - Date: 2007-06-27 16:09:33 Strategic management Service dominant logic Relationship marketing Core competency Supply chain management Service Sales Capitalism Exchange value Business Marketing Management
414	Students use a free, authoritative online resource for environmental health issues that supports argument-based inquiry. Daniel M. Levin, Judy F. Kramer, Alla Keselman, and Berneatta Barnes-Whitlock 46 Add to Reading List Source URL: learningcenter.nsta.org Language: English - Date: 2012-06-07 11:08:07 Critical thinking Logic Science Argumentation theory Criticism Debating Bottled water Environmentalism Water quality Health Environment Environmental social science
415	The λλ¯ -calculus A dual calculus for unconstrained strategies Alexis Goyet Univ Paris Diderot, Sorbonne Paris Cit´e, PPS, UMR 7126, CNRS, F[removed]Paris, France Add to Reading List Source URL: 91.121.110.215 Language: English - Date: 2013-09-26 02:18:34 Computability theory Lambda calculus Theoretical computer science Model theory Interpretation Spectral theory of ordinary differential equations Symbol Logic Mathematics Mathematical logic
416	CICC ‘93 Preprint (IEEE Custom Integrated Circuits Conference, San Diego, May 9–12) comments to [removed] or[removed]COST, POWER, AND PARALLELISM IN SPEECH SIGNAL PROCESSING Richard F. Lyon Add to Reading List Source URL: www.dicklyon.com Language: English - Date: 2006-06-30 14:43:08 Digital electronics Integrated circuits Logic families Electronic design Semiconductor devices CMOS Pass transistor logic Very-large-scale integration Dynamic logic Electronic engineering Electronics Electromagnetism
417	SSF API Reference Manual 1 S CALABLE S IMULATION F RAMEWORK API R EFERENCE M ANUAL V ERSION 1.0 Add to Reading List Source URL: www.ssfnet.org Language: English - Date: 2003-12-19 13:15:01 SSF Logic simulation Simulation Electronic engineering Digital electronics Electronic design automation
418	A logical basis for quantum evolution and entanglement Richard F. Blute1 , Alessio Guglielmi2 , Ivan T. Ivanov3 , Prakash Panangaden4 , and Lutz Straßburger5 1 Add to Reading List Source URL: cs.bath.ac.uk Language: English - Date: 2013-09-18 14:19:30 Proof theory Non-classical logic Logic in computer science Deduction Propositional calculus Linear logic Entailment Directed acyclic graph Curry–Howard correspondence Logic Mathematical logic Mathematics
419	Under consideration for publication in Math. Struct. in Comp. Science A Judgmental Reconstruction of Modal Logic F R A N K P F E N N I N G† and R O W A N D A V I E S Department of Computer Science Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2001-01-02 17:37:50 Philosophical logic Rules of inference Logical consequence Natural deduction Entailment Soundness Inference Disjunctive syllogism Modal logic Logic Proof theory Deduction
420	Why3: Shepherd Your Herd of Provers? Fran¸cois Bobot1,2 , Jean-Christophe Filliˆatre1,2 , Claude March´e2,1 , and Andrei Paskevich1,2 1 Lab. de Recherche en Informatique, Univ Paris-Sud, CNRS, Orsay, F-91405 Add to Reading List Source URL: proval.lri.fr Language: English - Date: 2011-06-30 04:33:49 Formal methods Model theory Automated theorem proving Functional languages First-order logic Well-formed formula Functional predicate Proof assistant ML Logic Mathematical logic Mathematics

UPDATE