Boolean - PDFSEARCH.IO - Document Search Engine

Boolean
Results: 2137

#	Item
371	Derandomizing RP if Boolean Circuits are not Learnable Johannes K¨obler and Wolfgang Lindner and Rainer Schuler June 8, 1999 Abstract We show that every language in RP has subexponential-time approximations for infinite Add to Reading List Source URL: www.uni-ulm.de Language: English - Date: 2007-09-03 09:58:17
372	Microsoft PowerPoint - Dissvortrag-Version_2007-11-08_online.ppt Add to Reading List Source URL: www.ruedi-arnold.com Language: English - Date: 2011-12-23 03:20:07 Logic Mathematical logic Abstraction Syntax Propositional calculus Non-classical logic Boolean algebra Matrix Well-formed formula Proposition Tautology First-order logic
373	Regular Languages of Infinite Trees that are Boolean Combinations of Open Sets Mikolaj Boja´ nczyk and Thomas Place? University of Warsaw Add to Reading List Source URL: www.mimuw.edu.pl Language: English - Date: 2015-05-11 06:13:03
374	A Fresh Look at Separation Algebras and Share Accounting? June 2009 Robert Dockins1 , Aquinas Hobor2 , and Andrew W. Appel1 1 Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2009-06-21 13:07:53 Mathematics Mathematical logic Algebra Algebraic logic Fuzzy logic Algebraic structures Boolean algebra Algebra over a field Residuated Boolean algebra Heyting algebra
375	Searchable Encryption Supporting General Boolean Expression Queries Tarik Moataz1 and Abdullatif Shikfa2 1 2 Add to Reading List Source URL: fc13.ifca.ai Language: English - Date: 2013-03-27 20:42:00
376	PLMW 2015 Interaction Activity CNF Satisfiability CNF Boolean Formula Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2015-09-06 06:15:42
377	Designing Weave Structures Using Boolean Operations, Part 1 Introduction Boolean Operations Add to Reading List Source URL: www.cs.arizona.edu Language: English - Date: 2002-10-05 11:47:40
378	A Generalization of St˚ almarck’s Method⋆ Aditya Thakur1 and Thomas Reps1,2⋆⋆ 1 University of Wisconsin; Madison, WI, USA Add to Reading List Source URL: research.cs.wisc.edu Language: English - Date: 2012-09-06 17:53:27 Logic Mathematics Mathematical logic Boolean algebra Propositional calculus Model theory Propositions Propositional formula Interpretation Tautology Distributive property Closure
379	Verification of EA-equivalence for Vectorial Boolean Functions Lilya Budaghyan, Oleksandr Kazymyrov Department of Informatics, University of Bergen, Bergen, Norway Add to Reading List Source URL: www5.rz.rub.de Language: English - Date: 2012-07-23 07:28:16
380	Aristotle, Boole, and Chu Duality since 350 BC Vaughan Pratt Stanford University August 27, 2015 Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2015-08-27 01:51:39 Logic Mathematical logic Abstraction Boolean algebra Term logic Classical logic Arguments Syllogism Propositional calculus George Boole Converse Prior Analytics

UPDATE