Boolean - PDFSEARCH.IO - Document Search Engine

Boolean
Results: 2137

#	Item
921	Automatic Solving of Problems stated in Natural Language Tore Amble Knowledge Systems Group Faculty of Electrical Engineering and Computer Science The Norwegian Institute of Technology Add to Reading List Source URL: www.nik.no Language: English - Date: 2002-05-08 04:36:03 Formal systems Model theory Propositional calculus Boolean algebra Modal logic Resolution Common knowledge Axiomatic system Constructible universe Logic Mathematical logic Mathematics
922	Kybernetes Article Information: To cite this article: To copy this article: Andrew Adamatzky, (2012) "Exploring Discrete Add to Reading List Source URL: uncomp.uwe.ac.uk Language: English - Date: 2012-07-07 10:49:49 Cellular neural network Automata theory Cellular automata Cellular automaton Boolean network
923	Hierarchical Automatic Function Definition in Genetic Programming John R. Koza Computer Science Department Stanford University Add to Reading List Source URL: www.genetic-programming.com Language: English - Date: 2006-11-17 21:17:24 Abstract algebra Functions and mappings Propositional calculus Logic Circuit complexity Parity function Function Boolean data type Parity Mathematics Boolean algebra Mathematical analysis
924	Using Datalog with Binary Decision Diagrams for Program Analysis John Whaley, Dzintars Avots, Michael Carbin, and Monica S. Lam Computer Science Department Stanford University Stanford, CA 94305, USA Add to Reading List Source URL: suif.stanford.edu Language: English - Date: 2007-04-01 19:35:04 Computing Boolean algebra Diagrams Binary decision diagram Model checking Database theory Datalog Relational algebra Prolog Mathematics Data management Relational model
925	Microsoft Word - LDLT2_Master_print.doc Add to Reading List Source URL: www.hrelp.org Language: English - Date: 2010-11-29 08:43:56 Logic Boolean algebra Negation Propositional calculus Auxiliary verb Logic programming Conceptual model Grammar Linguistics Semantics
926	This article appeared in a journal published by Elsevier. The attached copy is furnished to the author for internal non-commercial research and education use, including for instruction at the authors institution and shar Add to Reading List Source URL: mentalmodels.princeton.edu Language: English - Date: 2012-06-14 22:41:52 Mathematics Algebraic logic Boolean data type Logical disjunction FO Boolean algebras canonically defined Abstract algebra Boolean algebra Mathematical logic
927	CS 243 Lecture 11 Binary Decision Diagrams (BDDs) in Pointer Analysis 1.  Relations in BDDs 2.  Datalog -> Relational Algebra Add to Reading List Source URL: suif.stanford.edu Language: English - Date: 2015-03-01 03:58:39 Model checking Mathematics COMPASS/Sample Code Man or boy test Boolean algebra Diagrams Binary decision diagram
928	Int J Softw Tools Technol Transfer[removed]:507–518 DOI[removed]s10009[removed]RERS BDD-based software verification Add to Reading List Source URL: www.sosy-lab.org Language: English - Date: 2015-02-12 10:11:50 Diagrams Formal methods Boolean algebra Binary decision diagram Model checking Model checkers NuSMV Satisfiability Modulo Theories Abstraction Mathematics Theoretical computer science Applied mathematics
929	Mem Cogn DOI[removed]s13421[removed]The consistency of disjunctive assertions P. N. Johnson-Laird & Max Lotstein & Ruth M. J. Byrne Add to Reading List Source URL: mentalmodels.princeton.edu Language: English - Date: 2012-09-30 19:08:15 Thought Reasoning Boolean algebra Logic Cognitive psychology Mental model Logical disjunction Assertion Existential quantification Science Ethology Mind
930	Indexing Boolean Expressions Steven Euijong Whang, Hector Garcia-Molina Stanford University, Stanford, CA {swhang,hector}@cs.stanford.edu Chad Brower, Jayavel Shanmugasundaram, Sergei Vassilvitskii, Erik Vee, Add to Reading List Source URL: www.vldb.org Language: English - Date: 2009-07-27 10:29:02 Algorithm Logic Applied mathematics Conjunctive normal form Disjunctive normal form Mathematics

UPDATE