Abstraction - PDFSEARCH.IO - Document Search Engine

Abstraction
Results: 2720

#	Item
331	Proof Interpretations with Truth∗ Jaime Gaspar† Paulo Oliva‡ 12 August 2009 Add to Reading List Source URL: jg.sdf.org Language: English - Date: 2011-05-03 06:44:12 Logic Constructivism Mathematical logic Proof theory Abstraction Predicate logic Dependently typed programming Intuitionism Realizability BrouwerHeytingKolmogorov interpretation Intuitionistic logic Quantifier
332	Rem édiation Ma th ém atiqu e instit90 cart’+ Cibles : élèves de cycle 2 accédant difficilement à l’abstraction des écritures mathématiques Add to Reading List Source URL: sylvain.obholtz.free.fr Language: French - Date: 2014-01-02 09:13:19
333	On weak Markov’s principle Ulrich Kohlenbach BRICS∗ Department of Computer Science University of Aarhus Ny Munkegade Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-11-12 10:34:17 Constructivism Mathematics Computability theory Mathematical logic Mathematical proofs Functions and mappings Abstraction Proof theory Realizability Constructive proof Primitive recursive function operator
334	New Directions in Vector Space Models of Meaning Edward Grefenstette1 Karl Moritz Hermann1 Georgiana Dinu2 Phil Blunsom1 1 Dept Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2015-10-05 08:26:53 Logic Philosophy Mathematics Semantics Abstraction Meaning Inference Euclidean vector
335	Fractal Jellyfish Abstraction Add to Reading List Source URL: sydney.edu.au Language: English - Date: 2015-06-17 02:00:28
336	Building stuff with monadic dependencies + unchanging dependencies + polymorphic dependencies + abstraction Neil Mitchell Add to Reading List Source URL: ndmitchell.com Language: English - Date: 2016-04-19 09:56:22 Compiling tools Build automation Compilers SCons Ar GNU Compiler Collection Make
337	Zero-Shot Learning via Visual Abstraction Stanislaw Antol1 , C. Lawrence Zitnick2 , and Devi Parikh1 1 2 Add to Reading List Source URL: computing.ece.vt.edu Language: English - Date: 2014-07-06 16:54:37
338	Solving Games with Functional Regret Estimation Kevin Waugh† Dustin Morrill∗ J. Andrew Bagnell† Add to Reading List Source URL: poker.cs.ualberta.ca Language: English - Date: 2015-03-04 17:02:48 Game theory Statistics Mathematics Statistical theory Linear regression Regret Minimax Nash equilibrium Regression analysis Strategy Normal distribution Abstraction
339	The OMNI Thread Abstraction Tristan Richardson AT&T Laboratories Cambridge Revised November Add to Reading List Source URL: www.omniorb-support.com Language: English - Date: 2014-04-28 13:05:27
340	On Well-founded Security Protocols (Extended Abstract) Sibylle Fr¨oschle OFFIS & University of Oldenburg, Germany Email: Consider the decidability problem that stands behind Add to Reading List Source URL: software.imdea.org Language: English - Date: 2014-07-17 09:25:52 Cryptographic protocol DolevYao model Communications protocol Decidability Philosophy Abstraction Computing

UPDATE