Boolean - PDFSEARCH.IO - Document Search Engine

Boolean
Results: 2137

#	Item
991	Rational Rose - TM-XML-V1-3.mdl Add to Reading List Source URL: www.tm-xml.org Language: English - Date: 2013-03-08 10:42:56 Software engineering Computer programming Software optimization String interning Boolean data type SQL String Computing Data types Primitive types
992	Million-scale Derivation of Semantic Relations from a Manually Constructed Predicate Taxonomy Motoki Sano∗ Kentaro Torisawa† Julien Kloetzer‡ Chikara Hashimoto § Istv´an Varga¶ Jong-Hoon Oh∥ ∗†‡§∥ Add to Reading List Source URL: www.aclweb.org Language: English - Date: 2014-08-08 12:23:41 Logical consequence Algebraic logic Computational linguistics Entailment Metalogic Function Modal logic Boolean algebra Event Logic Mathematics Philosophical logic
993	A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions. I. The Two-Level Case. Calogero G. Zarba ([removed]) LORIA and INRIA-Lorraine 615, rue du Jardin Botan Add to Reading List Source URL: www.multimedialibrary.com Language: English - Date: 2014-03-05 12:40:27 Logic in computer science Model theory Boolean algebra Boolean satisfiability problem Electronic design automation Interpretation Symbol Function Mathematics Theoretical computer science Mathematical logic
994	The Home Page Search by your own chosen keywords  Easier Searching through a predictive search feature  Boolean Search terms also recognised Easy access to cheat sheets tips and tools Add to Reading List Source URL: www.cch.com.au Language: English - Date: 2013-08-09 01:00:06
995	Csharp_Language_Specification.doc Add to Reading List Source URL: www.digilife.be Language: English Procedural programming languages Cross-platform software C++ Data types Java programming language C++ classes C ALGOL 68 Boolean data type Computing Software engineering Computer programming
996	Tool-support for the analysis of hybrid systems and models Andreas Bauer Markus Pister Michael Tautschnig Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2012-10-30 05:38:27 Operations research Constraint programming Logic in computer science Electronic design automation Formal methods Satisfiability Modulo Theories Solver Boolean satisfiability problem Constraint satisfaction Theoretical computer science Applied mathematics Mathematics
997	PDF Document Add to Reading List Source URL: isabelle.in.tum.de Language: English - Date: 2014-08-27 06:04:04 Proof theory Mathematical constructivism Predicate logic Boolean algebra Propositional calculus First-order logic Intuitionistic logic Well-formed formula Sequent Logic Mathematical logic Mathematics
998	The topology of Seemingly impossible functional programs The only difference between reality and fiction is that fiction needs to be credible. Mark Twain Mart´ın Escard´ Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2012-01-28 17:00:50 Discrete space Continuous function Compact space Boolean algebra Stone functor Topology General topology Topological spaces
999	The Home Page Search by your own chosen keywords  Easier Searching through a predictive search feature  Boolean Search terms also recognised Easy access to cheat sheets tips and tools Add to Reading List Source URL: www.cch.com.au Language: English - Date: 2012-03-26 18:53:49 Information science Information retrieval Web search engine
1000	ANSI/ASHRAE Addendum aa to ANSI/ASHRAE Standard[removed] ® BACnet — Add to Reading List Source URL: www.bacnet.org Language: English - Date: 2012-11-30 16:12:37 Network protocols BACnet Building automation Communication Object-oriented programming Data types Property Function Boolean data type Computing Software engineering Computer programming

UPDATE