Boolean - PDFSEARCH.IO - Document Search Engine

Boolean
Results: 2137

#	Item
171	¨ DES SAARLANDES UNIVERSITAT FR 6.2 – Informatik Christoph Weidenbach Lecture “Automated Reasoning II” Add to Reading List Source URL: resources.mpi-inf.mpg.de Language: English - Date: 2013-08-19 07:30:22 Logic Logical truth Mathematical logic Theoretical computer science Model theory Automated theorem proving Logic programming Philosophy of logic Satisfiability Substitution Boolean satisfiability problem
172	JOURNAL OF COMPUTER AND SYSTEM SCIENCES Add to Reading List Source URL: www.chaum.com Language: English - Date: 2015-05-26 20:05:04 Cryptography IOS jailbreaking SHSH blob Commitment scheme IP Interactive proof system Boolean algebra Challengeresponse authentication
173	A Lattice-Based Approach to Deterministic Parallelism Lindsey Kuper and Ryan R. Newton Indiana University POPL 2013 Student Session 25 January 2013 Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2013-01-25 05:54:53 Mathematics Formal languages Probability theory Boolean algebra Measure theory Sigma-algebra Permutation
174	Instances for Free* Neil Mitchell www.cs.york.ac.uk/~ndm (* Postage and packaging charges may apply) Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Data types Software engineering Computing Computer programming Functional programming Type class Type theory Haskell features Boolean data type
175	On the Modal Understanding of Triadic Contexts Frithjof Dau and Rudolf Wille Technische Universitat Darmstadt, Fachbereich Mathematik Schlogartenstr. 7, D{64289 Darmstadt, fdau, Add to Reading List Source URL: www.dr-dau.net Language: English - Date: 2007-10-31 23:07:37 Logic Mathematics Philosophy Lattice theory Data mining Formal concept analysis Machine learning Ontology Algebraic logic Boolean algebra Binary relation Modal logic
176	KEK GRID CA Certificate and CRL Profile VerSeptember 26, 2007 Add to Reading List Source URL: gridca.kek.jp Language: English - Date: 2007-10-02 01:16:02 Computing Data types Primitive types Software engineering Character encoding String Null Value Boolean data type
177	Mancala Ad Infinitum -- Gary Preisser Page 1 of 8 Mancala is an African game with myriad variations. Many historians believe it to be the oldest game in the world. Thw word Mancala means "to transfer" in Arabic. Variati Add to Reading List Source URL: www2.stetson.edu Language: English - Date: 2014-05-07 15:35:26 Mathematics Mathematical analysis Quantification Universal quantification Inverse trigonometric functions Boolean algebra Conditional mutual information
178	Modular Verification of Open Features Through Three-Valued Model Checking Harry C. Li Brown University, USA Add to Reading List Source URL: web.cs.wpi.edu Language: English - Date: 2004-05-02 20:58:40 Logic Mathematical logic Theoretical computer science Boolean algebra Logic in computer science Formal methods Classical logic Formal verification Model checking Modal logic Propositional calculus Temporal logic
179	The Complexity of Computing the Solution Obtained by a Specific Algorithm Paul W. Goldberg Department of Computer Science University of Oxford, U. K. Add to Reading List Source URL: www.maths.lse.ac.uk Language: English - Date: 2013-10-30 13:41:09 Computational complexity theory Complexity classes Theory of computation PPAD Reduction LemkeHowson algorithm Algorithm NP PSPACE-complete P True quantified Boolean formula
180	Hoogλe Finding Functions from Types Neil Mitchell haskell.org/hoogle community.haskell.org/~ndm/ Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Software engineering Computing Computer programming Data types Functional languages Primitive types Functional programming Edit distance String Haskell Id Boolean data type

UPDATE