Abstraction - PDFSEARCH.IO - Document Search Engine

Abstraction
Results: 2720

#	Item
131	Structural approximation Boris Zilber University of Oxford March 5, Add to Reading List Source URL: people.maths.ox.ac.uk Language: English - Date: 2010-03-05 10:02:06 Mathematics Model theory Abstraction Structure General topology Type Topological space Constructible universe Filter Ring Ultraproduct Metric space
132	㏾㜷⌦㬰⌦㬰⌦㬰⌦㬰⌦㬰⌦㬰⌦㬰⌦㬰⌦㬰⌦㬰⌦㬰⌦㬰⌦㬰〰⸰⌦㬶 Add to Reading List Source URL: www.yourcreativesolutions.nl Language: English - Date: 2010-09-06 02:52:58 Philosophy Metaphysics Common Criteria Computing Abstraction Thales Syntax Diagram
133	INTRODUCTION TO MEANING AND THE DYNAMICS OF INTERPRETATION Alice ter Meulen and Klaus von Heusinger This selection of original papers written by Hans Kamp—philosopherlinguist-logician-cognitive-scientist and computer-s Add to Reading List Source URL: gerlin.phil-fak.uni-koeln.de Language: English - Date: 2016-01-26 05:29:24 Philosophy Logic Semantics Abstraction Philosophical logic Grammar Meaning Lambda calculus Hans Kamp Presupposition Montague grammar Temporal logic
134	F ORDHAM U NIVERSITY D EPARTMENT OF P HILOSOPHY PHGA 7234 HUSSERL’S LATER LOGIC SPRING 2003 Add to Reading List Source URL: faculty.fordham.edu Language: English - Date: 2014-11-20 00:44:28 Philosophy Academia Abstraction Phenomenologists Continental philosophers Philosophers of mathematics Philosophy of mathematics Edmund Husserl Phenomenology Psychologism Logic Concept
135	A posteriori taint-tracking for demonstrating non-interference in expressive low-level languages Peter Aldous University of Utah Add to Reading List Source URL: spw16.langsec.org Language: English - Date: 2016-06-05 23:38:28 Compiler optimizations Computing Program analysis Abstract interpretation Data-flow analysis Abstraction Static single assignment form Graph Bytecode Register allocation Algorithm Academia
136	II PllOBABILITY AND lNDUcnvE LOGlC Probability and Jnductive LogicINTRODUCTION. What is logic as a whole and how do Add to Reading List Source URL: dl.dropboxusercontent.com Language: English Logic Philosophy Reasoning Abstraction Inductive reasoning Argument Deductive reasoning Inductive probability Reason Validity Logic and rationality Inference
137	LAD Conferences L a b o r a t o i r e d e r e c h e r c h e Add to Reading List Source URL: www.asymmetryproject.uqam.ca Language: English - Date: 2010-09-07 09:03:51 Cognitive science Cognition Academia American psychologists Fellows of the American Association for the Advancement of Science Psycholinguists Abstraction Concept Lila R. Gleitman Bootstrapping
138	TECHNISCHE UNIVERSITÄT MÜNCHEN FAKULTÄT FÜR INFORMATIK Software & Systems Engineering Prof. Dr. Dr. h.c. Manfred Broy SPES 2020 Deliverable D1.2.A Add to Reading List Source URL: spes2020.informatik.tu-muenchen.de Language: English - Date: 2012-02-20 08:24:15 Computing Project management Software engineering Business Abstraction Data management Software development Object Process Methodology Internet protocol suite Database abstraction layer
139	Logical Methods in Computer Science Vol. 11(3:7)2015, pp. 1–33 www.lmcs-online.org Submitted May 17, 2014 Published Sep. 3, 2015 Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2016-02-19 10:54:23 Logic Mathematical logic Proof theory Abstraction Non-classical logic Logic in computer science Philosophical logic Model theory Sequent CurryHoward correspondence Intuitionistic logic Cut-elimination theorem
140	On Skolemization in constructive theories Matthias Baaz∗ Rosalie Iemhoff Inst. for Discrete Math. and Geometry E104 Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2008-02-06 05:45:02 Logic Mathematical logic Abstraction Model theory Proof theory Predicate logic Logic in computer science Philosophical logic Skolem normal form Herbrandization First-order logic Intuitionistic logic

UPDATE