Boolean - PDFSEARCH.IO - Document Search Engine

Boolean
Results: 2137

#	Item
471	Microsoft Word - IEEE_GENSIPS07_Program_06062007.doc Add to Reading List Source URL: www.cs.tut.fi Language: English - Date: 2007-06-07 06:44:30 Stuart Kauffman Jorma Rissanen Boolean network Academia Knowledge Science Tampere Genomics
472	Type-Level Computations in Scala Stefan Zeiger Motivation •  Heterogeneous collection types (HList, HArray) val l1 = 42 :: "foo" :: Some(1.0) :: "bar" :: HNil Add to Reading List Source URL: slick.typesafe.com Language: English - Date: 2015-05-08 12:55:33 Functional languages Data types C++ Standard Library Boolean algebra Boolean data type Scala Sequence container Operator overloading Id Computing Software engineering Computer programming
473	This article was downloaded by: [Stanford University] On: 30 October 2009 Access details: Access Details: [subscription numberPublisher Psychology Press Informa Ltd Registered in England and Wales Registered Add to Reading List Source URL: web.mit.edu Language: English - Date: 2009-10-30 22:09:40 Philosophical logic Conditionals Boolean algebra Material conditional Conditional statement Modus tollens Wason selection task Truth table Converse Logic Propositional calculus Logical connectives
474	A First Look at ML Chapter Five Modern Programming Languages, 2nd ed. Add to Reading List Source URL: www.webber-labs.com Language: English - Date: 2010-08-18 22:42:45 Functional languages Data types Procedural programming languages Standard ML Id Boolean data type D Programming language Conditional Software engineering Computer programming Computing
475	BRICS Basic Research in Computer Science BRICS RS-97-5 Etessami et al.: First-Order Logic with Two Variables and Unary Temporal Logic First-Order Logic with Add to Reading List Source URL: www.brics.dk Language: English - Date: 1997-06-05 08:58:45 Model theory Metalogic Predicate logic Electronic design automation Linear temporal logic First-order logic Boolean satisfiability problem Well-formed formula Constructible universe Logic Mathematical logic Theoretical computer science
476	Microsoft Word - PiecewiseLinCombined32.doc Add to Reading List Source URL: ticsp.cs.tut.fi Language: English - Date: 2008-03-21 14:41:50 Implicant Binary decision diagram Function Polynomial Vector space Constructible universe Mathematics Algebra Boolean algebra
477	Learning Partially Observable Action Models: Efficient Algorithms Dafna Shahaf Allen Chang Eyal Amir Computer Science Department University of Illinois, Urbana-Champaign Urbana, IL 61801, USA {dshahaf2,achang6,eyal}@uiuc Add to Reading List Source URL: infolab.stanford.edu Language: English - Date: 2010-08-28 23:41:19 Logic in computer science Logic programming Automated planning and scheduling Formal methods Conjunctive normal form Situation calculus Planning Domain Definition Language Algorithm Boolean satisfiability problem Theoretical computer science Mathematics Applied mathematics
478	Reasoning about Reliability and Cost using Decision Diagrams and Syntax Trees Tarik Hadzic and Helmut Simonis? Cork Constraint Computation Centre Department of Computer Science, University College Cork, Ireland {h.simoni Add to Reading List Source URL: 4c.ucc.ie Language: English - Date: 2010-09-09 05:54:53 Boolean algebra Graphical models Materials science Reliability engineering Survival analysis Binary decision diagram Connectivity Reliability Directed acyclic graph Statistics Systems engineering Systems science
479	ICM satellite event on logic and set theory Abstract of talks Joan Bagaria Structural Reﬂection and the Hierarchy of C(n) cardinals We introduce ﬁrst a new kind of reﬂection principle for the universe of all sets: Add to Reading List Source URL: ali.cmi.ac.in Language: English - Date: 2010-08-13 05:01:47 Forcing Boolean algebra Order theory Topology Descriptive set theory Borel set Model theory Set theory Interior algebra Mathematical logic Mathematics Logic
480	Basic Logic, SMT solvers and nitely generated varieties of GBL-algebras Peter Jipsen Chapman University, Orange, California TACL 2013, July 29, Vanderbilt University Add to Reading List Source URL: math.chapman.edu Language: English - Date: 2013-09-06 00:51:19 Algebraic logic Fuzzy logic Logic in computer science Algebraic structures Electronic design automation Satisfiability Modulo Theories MV-algebra Boolean satisfiability problem Propositional variable Mathematics Mathematical logic Logic

UPDATE