Logic - PDFSEARCH.IO - Document Search Engine

Logic
Results: 27485

#	Item
301	Explaining response to drugs using Pathway Logic ? Carolyn Talcott and Merrill Knapp1 SRI International, Menlo Park, CA 94025, USA Add to Reading List Source URL: pl.csl.sri.com Language: English - Date: 2018-08-10 18:50:28
302	SoftFacts: A Top-k Retrieval Engine for a Tractable Description Logic Accessing Relational Databases Umberto Straccia ISTI-CNR, Via G. Moruzzi 1, IPisa, Italy Add to Reading List Source URL: www.umbertostraccia.it Language: English - Date: 2015-10-30 09:06:27
303	The Logic of the Diamond Sutra: A is not A, therefore it is A Add to Reading List Source URL: www.thezensite.com Language: English - Date: 2006-12-30 01:48:14
304	Automatic Cyclic Termination Proofs for Recursive Procedures in Separation Logic Reuben N. S. Rowe James Brotherston Add to Reading List Source URL: staticanalysis.org Language: English - Date: 2018-08-04 09:49:55
305	Collective Intention Revision from a Database Perspective No Author Given No Institute Given Logics of rational agency try to capture, in logic, various facets of human mental state, and place normative relationships amo Add to Reading List Source URL: www.marcvanzee.nl Language: English - Date: 2015-10-13 11:22:58
306	Writing and Drawing in Logic – The Case of Aristotelian Diagrams Lorenz Demey When communicating their research, logicians not only write words and formulas, but they also draw various kinds of diagrams. The use of dia Add to Reading List Source URL: www.logicalgeometry.org Language: English - Date: 2018-04-04 05:37:58
307	ECE 102: Digital Circuit Logic Add to Reading List Source URL: www.engr.colostate.edu Language: English - Date: 2013-09-24 15:54:48
308	Formal Contract Logic Based Patterns for Facilitating Compliance Checking against ISOJulieth Patricia Castellanos Ardila, Barbara Gallina {julieth.castellanos, barbara.gallina}@mdh.se This work is supported by th Add to Reading List Source URL: terecom2017.lynx-project.eu Language: English - Date: 2018-04-05 12:22:54
309	Using intrinsic complexity of turn-taking games to predict participants’ reaction times Jakub Szymanik () Institute for Logic, Language and Computation, University of Amsterdam Ben Meijering (b Add to Reading List Source URL: mindmodeling.org Language: English - Date: 2013-07-15 14:53:48
310	Introduction Computationally sound prover Computationally sound logic Add to Reading List Source URL: prosecco.gforge.inria.fr Language: English - Date: 2012-10-01 07:25:43

UPDATE