Logic - PDFSEARCH.IO - Document Search Engine

Logic
Results: 27485

#	Item
881	Logic, Computation and Constraint Satisfaction Barnaby D. Martin University of Leicester Add to Reading List Source URL: www.bedewell.com Language: English - Date: 2009-11-10 10:57:12 Computational complexity theory Logic Complexity classes Mathematical logic PSPACE FO Second-order logic P versus NP problem Constraint satisfaction problem NP P Constraint satisfaction
882	Temporal Modalities for Concisely Capturing Timing Diagrams Hana Chockler1,2 and Kathi Fisler1 1 Department of Computer Science, WPI, Add to Reading List Source URL: web.cs.wpi.edu Language: English - Date: 2005-08-29 16:45:53 Temporal logic Linear temporal logic Diagram Symbol FO
883	ｂｲｵｳｳ･ｬｳＬ＠ＳＰ＠ｏ｣ｴｯ｢･ｲ＠ＲＰＱＵｃｏｓｔ＠ＰＵＵＯＱＵｄｅｃｉｓｉｏｎｓｵ｢ｪ･｣ｴＺ＠ Add to Reading List Source URL: w3.cost.eu Language: English - Date: 2015-11-12 17:02:31 Software engineering Software Type theory Programming language theory Proof assistants Functional languages Formal methods Logic in computer science Formal verification Dependent type Agda Coq
884	Crowdsourcing General Computation Haoqi Zhang∗ , Eric Horvitz† , Rob C. Miller‡ , and David C. Parkes∗ ∗ Harvard SEAS Cambridge, MA 02138, USA {hq, parkes}@eecs.harvard.edu Add to Reading List Source URL: crowdresearch.org Language: English - Date: 2011-03-24 21:28:49 Algorithms Engineering Academia Applied mathematics Operations research Mathematical logic Theoretical computer science Human-based computation Divide and conquer algorithms Crowdsourcing Problem solving Computer science
885	1 Abstraction as a Means for End-User Computing in Creative Applications Mira Balaban () Eli Barzilay () Add to Reading List Source URL: barzilay.org Language: English - Date: 2003-03-11 03:26:58 Abstraction Theoretical computer science Lambda calculus Software engineering Cognitive science Models of computation Logic in computer science Data management Combinatory logic Factory Deductive lambda calculus
886	The complexity of positive first-order logic without equality II: The four-element case Barnaby Martin1? and Jos Martin2 1 School of Engineering and Computing Sciences, Durham University, Add to Reading List Source URL: www.bedewell.com Language: English - Date: 2010-06-03 07:34:14 Computational complexity theory Complexity classes Theory of computation FO PSPACE IP NP P Reduction Homomorphism SO
887	Control and embedded Systems Tutorial Table Of Contents Previous: Programming Part 1 Next: Boolean Logic Add to Reading List Source URL: learn-c.com Language: English - Date: 2016-02-02 18:33:23 Units of information Computing Binary arithmetic Information Linguistics Nibble Hexadecimal numeral system Computer arithmetic Hexadecimal Byte Binary-coded decimal
888	Microsoft Word - HK_FD_WP_30012015.docx Add to Reading List Source URL: www.fiwi.uni-bayreuth.de Language: English - Date: 2015-02-02 08:21:52 Logic Competition Internal devaluation Trade policy Substitution
889	Conquering the Fear of Failure by David Benzel I was recently asked by a parent, "How can I help my child get past the fear of failure." An athlete’s fear comes from disappointing experiences and exists on three differ Add to Reading List Source URL: static.usagymclub.com Language: English - Date: 2016-01-04 10:12:25 Emotions Fear Risk Philosophical logic
890	A Transparent Semantic Enablement Layer for the Geospatial Web ? Krzysztof Janowicz, Sven Schade, Arne Br¨oring, Carsten Keßler, Christoph Stasch, Patrick Mau´e, Thorsten Diekhof Institute for Geoinformatics, Universi Add to Reading List Source URL: carsten.io Language: English - Date: 2013-09-07 23:22:53 Semantic Web Computing Information Sensor web Ontology Open Geospatial Consortium Semantic Geospatial Web Sensor Observation Service SensorML Geographic information system SAWSDL Description logic

UPDATE