Boolean - PDFSEARCH.IO - Document Search Engine

Boolean
Results: 2137

#	Item
941	Microsoft Word - soltan_egyptian_arabic_negation_puzzle Add to Reading List Source URL: www.lingref.com Language: English - Date: 2013-07-01 13:01:27 Boolean algebra Polarity item Propositional calculus Mathematical logic Negation Negative Well-formed formula Logic Grammar Linguistics
942	BDD algorithms and cache misses Draft Nils Klarlund AT&T Bell Laboratories Room 2C-410 Add to Reading List Source URL: www.brics.dk Language: English - Date: 2007-03-08 16:47:46 Cache Binary decision diagram Boolean algebra Diagrams Model checking CPU cache Hash table Lookup table Trie Computing Search algorithms Computer programming
943	Lisp in Summer Projects Submission Submission Date[removed]:21:56 Full Name Add to Reading List Source URL: lispinsummerprojects.org Language: English - Date: 2014-07-29 16:18:58 Propositional calculus Boolean algebra Logical truth Model theory Satisfiability Function Lisp Algorithm Tautology Logic Mathematics Mathematical logic
944	International Journal of Foundations of Computer Science c World Scientific Publishing Company MONA Implementation Secrets Anders Møller & Michael I. Schwartzbach Add to Reading List Source URL: www.brics.dk Language: English - Date: 2002-06-14 03:07:43 Model theory Automata theory Model checking Models of computation Binary decision diagram Boolean algebra First-order logic Finite-state machine CPU cache Mathematical logic Logic Mathematics
945	Mona & Fido: The Logic-Automaton Connection in Practice Nils Klarlund AT&T Labs{Research Florham Park, NJ Add to Reading List Source URL: www.brics.dk Language: English - Date: 2007-03-08 16:49:34 Boolean algebra Model checking Mathematics Formal methods Binary decision diagram Models of computation Finite-state machine Tree automaton Computability Automata theory Theoretical computer science Diagrams
946	An n log n Algorithm for Online BDD Renement? Nils Klarlund AT&T Labs Research 600 Mountain Ave. Murray Hill, NJ 07974 Add to Reading List Source URL: www.brics.dk Language: English - Date: 2007-03-08 16:50:00 Model checking Mathematics Boolean algebra Binary decision diagram Diagrams
947	DISCRETE DYNAMICS LAB Cellular Automata Random Boolean Networks. July 1995 (copyright  Andrew Wuensche 1993) Santa Fe Institute and The University of Sussex (COGS) Add to Reading List Source URL: uncomp.uwe.ac.uk Language: English - Date: 2008-05-05 08:01:33 Cellular automaton Science Attractor network Attractor Boolean network Electrical wiring
948	Supplementary material for Chapter 2 of the McGraw Hill book: “Object Oriented Software Engineering: Practical Software Development Using UML and Java” Copyright © 2001 Timothy C. Lethbridge and Robert Laganière Se Add to Reading List Source URL: www.site.uottawa.ca Language: English - Date: 2001-04-26 18:04:05 Java programming language C++ Cross-platform software Data types Primitive types Java Constructor C++ classes Boolean data type Computing Software engineering Computer programming
949	, , 1?? () c Kluwer Academic Publishers, Boston. Manufactured in The Netherlands. Automata Based Symbolic Reasoning in Hardware Verication * DAVID BASIN Add to Reading List Source URL: www.brics.dk Language: English - Date: 2007-03-08 16:47:13 Formal languages Predicate logic Boolean algebra Automata theory Propositional variable Binary decision diagram FO Finite-state machine Well-formed formula Logic Mathematics Mathematical logic
950	Course Sampler From ATI Professional Development Short Course Fundamentals of Engineering Probability Visualization Techniques & MatLab Case Studies Instructor: Dr. Ralph E. Morganstern Add to Reading List Source URL: www.aticourses.com Language: English - Date: 2014-12-11 14:04:25 Diagrams Venn diagram Probability Field of sets Collectively exhaustive events Quadrilateral Ordered pair Mathematics Mathematical logic Boolean algebra

UPDATE