F-logic - PDFSEARCH.IO - Document Search Engine

F-logic
Results: 483

#	Item
291	Pragma-dialektische Argumentationstheorie F. van Eemeren und R. Grootendorst, A Systematic Theory of Argumentation. The Pragma-dialectical Approach (Cambridge, [removed]Vier Phasen einer kritischen Diskussion: Add to Reading List Source URL: www.philosophie.uni-muenchen.de Language: English - Date: 2012-11-12 03:54:51 Critical thinking Pragma-dialectics Science Philosophy of language Argumentation theory Proposition Arguments Debating Logic
292	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
293	Bounds on the Disparity and Separation of Tournament Solutions Felix Brandta,∗, Andre Daua , Hans Georg Seediga a Technische Universit¨at M¨unchen, Institut f¨ur Informatik, Add to Reading List Source URL: dss.in.tum.de Language: English - Date: 2015-02-16 09:19:25 Exponentials Matrix Tournament Entailment State space Element Exponentiation Logic Binary operations Mathematics
294	ZU064-05-FPR impldtp 15 September 2013 Add to Reading List Source URL: eb.host.cs.st-andrews.ac.uk Language: English - Date: 2013-09-15 12:12:41 Programming language theory Data types Functional programming Dependently typed programming Logic in computer science Lambda calculus System F Type system Curry–Howard correspondence Software engineering Computing Type theory
295	Q-Logic: Q-Forms & Q-Customs Application Guide Make, Model and Year Q-Forms (QL-K) Add to Reading List Source URL: www.qlogicdirect.com Language: English - Date: 2015-02-24 15:24:02 Pickup trucks Chevrolet Silverado Dodge Ram Ford F-Series Ford Super Duty ISO 216 Transport Private transport Land transport
296	Renato Coletto The elaboration of a demarcation criterion in reformational philosophy First submission: 11 November 2010 Add to Reading List Source URL: apps.ufs.ac.za Language: English - Date: 2011-08-18 10:20:12 Science studies Philosophy of science Christian philosophy Reformational philosophy Western philosophy Herman Dooyeweerd D. F. M. Strauss Epistemology Modal logic Science Philosophy Knowledge
297	[removed]Undergraduate Bulletin Course Descriptions - Electrical and Computer Engineering Professors C. Berry, F. Berry, Black, Doering, Eccles, Ferguson, Goldman, Add to Reading List Source URL: www.rose-hulman.edu Language: English - Date: 2013-07-09 09:54:58 Digital electronics Logic gate Combinational logic Integrated circuit design Computer Electronic engineering Electronic design Electronics
298	¨f Per Martin-Lo ON THE MEANINGS OF THE LOGICAL CONSTANTS AND THE JUSTIFICATIONS OF THE LOGICAL LAWS Add to Reading List Source URL: www.pps.univ-paris-diderot.fr Language: English - Date: 2009-10-01 14:33:50 Philosophical logic Traditional logic Branches of philosophy German Christians Philosophers of science Categorical proposition Term logic Edmund Husserl Proposition Philosophy Logic Science
299	Innovations in Computational Type Theory using Nuprl S. F. Allen, M. Bickford, R. L. Constable, R. Eaton, C. Kreitz, L. Lorigo, E. Moran Department of Computer Science, Cornell-University, Ithaca, NY[removed] {sfa,mark Add to Reading List Source URL: www.nuprl.org Language: English - Date: 2005-06-21 10:54:34 Type theory Logic in computer science Dependently typed programming Computability theory Intuitionistic type theory Curry–Howard correspondence Natural deduction Lambda calculus Combinatory logic Mathematics Logic Mathematical logic
300	Design and Implementation of a Coordination Model for Distributed Simulations ∗ Rolf Hennicker, Matthias Ludwig Institut f¨ur Informatik Ludwig-Maximilians-Universit¨at M¨unchen Oettingenstr. 67, D[removed]M¨unchen, Add to Reading List Source URL: www.pst.ifi.lmu.de Language: English - Date: 2006-05-18 12:50:04 Scientific modelling Economic model Logic simulation Scientific modeling Epistemology Ethology Science Computer simulation Aggregate Level Simulation Protocol Electronic design automation Operations research Simulation

UPDATE