Boolean - PDFSEARCH.IO - Document Search Engine

Boolean
Results: 2137

#	Item
741	Computing Loops With at Most One External Support Rule Xiaoping Chen and Jianmin Ji Fangzhen Lin University of Science and Technology of China Add to Reading List Source URL: www.cs.ust.hk Language: English - Date: 2008-06-17 04:51:14 Mathematics Rules of inference Boolean algebra Propositional calculus Stable model semantics Answer set programming Negation as failure Modal logic Resolution Logic Logic programming Mathematical logic
742	Abstract Model Counting: a novel approach for Quantification of Information Leaks Quoc-Sang Phan Pasquale Malacaria Add to Reading List Source URL: www.eecs.qmul.ac.uk Language: English - Date: 2015-04-10 18:09:41 Formal methods Electronic design automation Logic in computer science NP-complete problems Constraint programming Satisfiability Modulo Theories Quicken Interchange Format Java Pathfinder Boolean satisfiability problem Theoretical computer science Mathematics Applied mathematics
743	American Computer Science League Junior Division Contest #3 Add to Reading List Source URL: www.acsl.org Language: English - Date: 2011-07-30 11:53:37 Algebraic graph theory Boolean algebra Adjacency matrix Matrices Graph Negation Mathematics Algebra Graph theory
744	Artificial Intelligence–150 Local search characteristics of incomplete SAT procedures ✩ Dale Schuurmans ∗ , Finnegan Southey Department of Computer Science, University of Waterloo, Waterloo, ON N2L Add to Reading List Source URL: webdocs.cs.ualberta.ca Language: English - Date: 2005-06-24 17:14:13 Applied mathematics Mathematics Boolean satisfiability problem Local search Constraint satisfaction WalkSAT Theoretical computer science Constraint programming Logic in computer science
745	Major Search Engines – Features Guide BOOLEAN PHRASE Add to Reading List Source URL: extremesearcher.com Language: English - Date: 2012-01-25 08:50:35 Computing Bing Google Search Yahoo! Google Video search engine Web search engine Internet search engines World Wide Web Internet
746	American Computer Science League Classroom Division Short Problems Add to Reading List Source URL: www.acsl.org Language: English - Date: 2011-07-30 11:53:32 Algebraic graph theory Graph Boolean algebra Adjacency matrix Clique Median graph Graph theory Mathematics Theoretical computer science
747	PDF Document Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2008-08-20 12:44:09 C*-algebra Von Neumann algebra Boolean algebra Model theory Equivalence of categories Kernel Monoidal t-norm logic Heyting algebra Mathematics Algebra Abstract algebra
748	Part IA Engineering Aims Digital Circuits & Add to Reading List Source URL: mi.eng.cam.ac.uk Language: English - Date: 2009-05-05 07:09:11 Digital electronics Theoretical computer science Electronic design Algebraic logic Logic families Boolean algebra CMOS OR gate Negated AND gate Electronic engineering Logic gates Electronics
749	Getting Dynamic with ColdFusion Sean Corfield Chief Systems Architect & VP Engineering Broadchoice, Inc. 4th-6th June 2008 Add to Reading List Source URL: corfield.org Language: English - Date: 2010-04-11 03:30:19 Scripting languages ColdFusion JRuby Ruby Data type Java Groovy Boolean data type Duck typing Computing Software engineering Computer programming
750	A quasi-stability result for low-degree Boolean functions on Sn David Ellis, Yuval Filmus∗, and Ehud Friedgut† OctoberAbstract Add to Reading List Source URL: www.maths.qmul.ac.uk Language: English - Date: 2012-11-09 07:06:56 Representation theory of Lie groups Representation theory Character theory Fourier transform Representation theory of finite groups Zonal spherical function Abstract algebra Mathematical analysis Mathematics

UPDATE