Bruijn - PDFSEARCH.IO - Document Search Engine

Bruijn
Results: 174

#	Item
131	Term Indexing for the LEO-II Prover Frank Theiß1 Christoph Benzm¨ uller2 1 FR Informatik, Universit¨at des Saarlandes, Saarbr¨ Add to Reading List Source URL: www.boldsolutions.de Language: English - Date: 2011-03-22 14:12:16 Science Searching Mathematical notation Predicate logic Theoretical computer science Free variables and bound variables De Bruijn index De Bruijn notation Variable Mathematics Lambda calculus Information science
132	Logical Attestation: An Authorization Architecture for Trustworthy Computing Emin Gün Sirer Willem de Bruijn† Patrick Reynolds‡ Alan Shieh Kevin Walsh Dan Williams Fred B. Schneider Computer Science Department, Corn Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2011-09-24 15:57:36 Trusted computing Identity management Cryptography Procfs Unix Next-Generation Secure Computing Base Kernel Nexus Trusted Platform Module Computer architecture Software System software
133	Introduction to Lambda Calculus Henk Barendregt Erik Barendsen Revised edition Add to Reading List Source URL: ftp.cs.ru.nl Language: English - Date: 2008-07-15 17:50:58 Formal methods Models of computation Elementary mathematics Combinatory logic Free variables and bound variables Function Variable De Bruijn index Spectral theory of ordinary differential equations Mathematics Lambda calculus Computability theory
134	Pieter de Bruijn is senior policy advisor Spatial Economic Policies at the Ministry of Economic Department. Currently, he is involved in the coordination of the Peaks in the Delta spatial economic subsidy scheme and the Add to Reading List Source URL: www.oecd.org - Date: 2014-07-21 01:29:59
135	Reasoning with Hypothetical Judgments and Open Terms in Hybrid Amy P. Felty Alberto Momigliano Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-07-02 05:22:59 Deduction Models of computation Formal methods Entailment Metalogic De Bruijn index Natural deduction Curry–Howard correspondence Logic Mathematical logic Lambda calculus
136	Electric currents in infinite networks Peter G. Doyle Version dated 25 October 1988 GNU FDL∗ 1 Add to Reading List Source URL: math.dartmouth.edu Language: English - Date: 2007-03-29 15:41:04 Graph coloring Flow network Operations research Graph End Connectivity De Bruijn–Erdős theorem Edge coloring Graph theory Mathematics Network flow
137	Annual Implementation Plan 2008 Frank de Bruijn Frank de Bruijn ; AIP08 ; 15 October 2008 Add to Reading List Source URL: www.fch-ju.eu Language: English - Date: 2014-09-28 16:54:16 Technology Sustainability Environment De Bruijn Bruijn Hydrogen vehicle
138	The Low Countries: a selective catalogue of reference works The British Library Dutch/Flemish Section This catalogue, which is arranged by subject, has been prepared by the Dutch Curator, J. Harskamp, and will be updated Add to Reading List Source URL: www.bl.uk Language: English - Date: 2014-11-22 16:01:21 Jaap R. Bruijn Willem F. J. Mörzer Bruyns Dutch people Dutch literature European literature
139	INDEX TO THE NORTHERN MARINER/ L E MARIN DU NORD V O L U M E XIII[removed]ARTICLES Bradford, James C, John Paul Jones and Guerre de Razzia Add to Reading List Source URL: www.cnrs-scrn.org Language: English - Date: 2012-06-26 10:54:05 Yeates Douglas Hall Roger Sarty Jaap R. Bruijn MacMichael
140	SQL Server In-Memory OLTP Internals Overview for CTP1 SQL Server Technical Article Writer: Kalen Delaney Technical Reviewers: Kevin Liu, Jos de Bruijn, Kevin Farlee, Mike Zwilling, Sunil Agarwal, Craig Freedman, Mike Wei Add to Reading List Source URL: download.microsoft.com Language: English - Date: 2013-07-24 13:39:19 Computing Database management systems Cross-platform software Microsoft SQL Server Windows Server System TimesTen Database index SQL Oracle Database Relational database management systems Data management Software

UPDATE