Predicate - PDFSEARCH.IO - Document Search Engine

Predicate
Results: 1768

#	Item
51	SETS: A Basic Set Theory Package Francis J. Wright School of Mathematical Sciences Queen Mary and Westfield College University of London Mile End Road, London E1 4NS, UK. Add to Reading List Source URL: reduce-algebra.com Language: English - Date: 2008-12-30 11:47:48 Mathematical logic Mathematics Logic Boolean algebra Predicate logic Relational operator Predicate Boolean data type Algebra of sets Subset Equality Logical disjunction
52	Extending Map-Reduce for Efficient ! Predicate-Based Sampling! ! Raman Grover, Michael Carey! Department of Computer Science, University of California, Irvine! Add to Reading List Source URL: asterixdb.ics.uci.edu Language: English - Date: 2013-06-06 15:43:58 Computing Concurrent computing Parallel computing Free software Distributed computing architecture Apache Software Foundation Cloud infrastructure MapReduce Apache Hadoop Sampling
53	Broad-coverage CCG Semantic Parsing with AMR Kenton Lee Luke Zettlemoyer Yoav Artzi∗ Dept. of Computer Science and Cornell Tech Computer Science & Engineering University of Washington Cornell University Add to Reading List Source URL: www.emnlp2015.org Language: English - Date: 2015-12-05 04:22:39 Logic Mathematical logic Mathematics Predicate logic Type theory Logic in computer science Combinatory categorial grammar Combinatory logic Quantifier Lambda calculus Parsing Free variables and bound variables
54	Squibs and Discussion ARE TURKISH PREVERBAL BARE NOUNS SYNTACTIC Add to Reading List Source URL: tedlab.mit.edu Language: English - Date: 2012-08-09 14:59:34 Grammar Linguistics Syntax Cognitive science Predicate Dependency grammar Syntactic category Telicity PRO Phrase
55	Some Notes on Proofs with Alpha Graphs Frithjof Dau Technische Universit¨ at Dresden, Dresden, Germany Add to Reading List Source URL: www.dr-dau.net Language: English - Date: 2007-08-09 21:04:38 Logic Mathematical logic Abstraction Proof theory Propositional calculus Predicate logic Logical truth First-order logic Tautology Existential graph Cut-elimination theorem Well-formed formula
56	Applied Ontology–138 DOIAOIOS Press 109 Add to Reading List Source URL: www.thomasebittner.com Language: English - Date: 2012-04-30 16:05:44 Ontology Metaphysics Anatomy Logic Joints Predicate logic Knowledge representation Information science Mereology Mereotopology Synovial fluid Interphalangeal joints of the hand
57	From notation to semantics: there and back again Luca Padovani1 and Stefano Zacchiroli2 1 Information Science and Technology Institute, University of Urbino Add to Reading List Source URL: matita.cs.unibo.it Language: English - Date: 2007-05-28 05:00:45 Logic Mathematics Abstraction Mathematical logic Mathematical notation Predicate logic Elementary mathematics Metalogic Substitution Term Lambda calculus Structure
58	Quantified Constraints and Containment Problems∗ Hubie Chen Departament de Tecnologia, Universitat Pompeu Fabra, Barcelona, Spain. Florent Madelaine Add to Reading List Source URL: www.bedewell.com Language: English - Date: 2009-11-10 10:56:14 Logic Model theory Abstraction Mathematical logic Semantics Predicate logic Metalogic Structure Homomorphism Interpretation Symbol First-order logic
59	UCL DEPARTMENT OF COMPUTER SCIENCE Research Note RN/13/23 Add to Reading List Source URL: www.dcs.bbk.ac.uk Language: English - Date: 2014-01-19 15:11:19 Software engineering Computer programming Theoretical computer science Edsger W. Dijkstra Predicate transformer semantics IP NP Recursion
60	Let tests drive or let Dijkstra derive? Presented at ALE2014 in Krakow Poland on August 21, 2014 Author: Sander Kooijmans Date: November 3, 2014 Why this document? Add to Reading List Source URL: www.gogognome.nl Language: English - Date: 2016-04-05 02:15:07 Formal methods Theoretical computer science Software engineering Mathematics Hoare logic Static program analysis Algorithm Precondition Predicate transformer semantics Loop invariant