Abstraction - PDFSEARCH.IO - Document Search Engine

Abstraction
Results: 2720

#	Item
191	Mathematical Writing by Donald E. Knuth, Tracy Larrabee, and Paul M. Roberts This report is based on a course of the same name given at Stanford University during autumn quarter, 1987. Here’s the catalog description: C Add to Reading List Source URL: www.cadmo.ethz.ch Language: English - Date: 2008-01-23 04:52:01 Mathematics Logic Integer sequences Sequence Modal logic Prime number Abstraction
192	Analysing Practical Argumentation Add to Reading List Source URL: www.georgbrun.ch Language: English - Date: 2015-08-26 08:09:41 Philosophy Critical thinking Logic Arguments Abstraction Reasoning Debating Argumentation theory Argument Fallacy Reason Rhetoric
193	Chapter 11 Revenge, IForms of revenge It is hard enough to find a satisfying response to the paradoxes, but the phenomenon of revenge can make it seem impossible. In the simplest manifestation of revenge - call it Add to Reading List Source URL: www.keith-simmons.com Language: English - Date: 2012-09-23 12:20:06 Philosophy Logic Abstraction Predicate logic Theories of truth Semantics Philosophical logic Model theory Liar paradox Saul Kripke Truth Interpretation
194	Rules – Models - Data Case Study Financial Reporting for the Regulatory Authorities - A Strategic Approach Challenge Add to Reading List Source URL: nomos-software.com Language: English - Date: 2012-08-30 10:52:04 Unified Modeling Language Data modeling Data model Object Constraint Language Business process modeling ACT Conceptual model Object Management Group Nomos Glashtte Computing Operations research Abstraction
195	Building Event-B Interlocking Theories: Lessons Learned using the Theory Plug-in Yoann Guyot, Renaud De Landtsheer, Christophe Ponsard CETIC Research Center, Charleroi, Belgium {yoann.guyot, renaud.delandtsheer, christop Add to Reading List Source URL: wiki.event-b.org Language: English - Date: 2016-05-20 11:41:20 Logic Abstraction Philosophy Metalogic Mathematical proofs Interlocking Theorem Theory Railway signalling Model theory Domain-specific language Rodin tool
196	1 PDE models for population and residual work applied to peer-to-peer networks Fernando Paganini and Andr´es Ferragut Universidad ORT Uruguay Add to Reading List Source URL: fi.ort.edu.uy Language: English Logic Philosophy Abstraction Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Dynamical system Structure Model theory Decomposition of spectrum
197	LAD Conferences L a b o r a t o i r e d e r e c h e r c h e Add to Reading List Source URL: asymmetryproject.uqam.ca Language: English - Date: 2010-09-07 09:03:51 Cognitive science Cognition American psychologists Fellows of the American Association for the Advancement of Science Psycholinguists Abstraction Concept Lila R. Gleitman Bootstrapping
198	The Trouble with Computational Thinking By Elizabeth Jones University of South Carolina Of the articles that we read for this week, I was most interested by – or rather, troubled by – the article titled “Computatio Add to Reading List Source URL: csta.acm.org Language: English - Date: 2015-08-26 13:20:40 Cognition Neuropsychology Thought Creativity Cognitive science Neuropsychological assessment Educational psychology Computational thinking Artificial intelligence Problem solving Abstraction Critical thinking
199	Constants and Functions in Peirce’s Existential Graphs Frithjof Dau University of Wollongong, Australia Add to Reading List Source URL: www.dr-dau.net Language: English - Date: 2007-08-10 02:46:00 Mathematics Charles Sanders Peirce Existential graph Logic Philosophical logic Discrete mathematics Restriction Abstraction Graph theory
200	Automatic Testing of Operation Invariance Tobias G¨odderz and Janis Voigtl¨ander University of Bonn, Germany, {goedderz,jv}@cs.uni-bonn.de Abstract. We present an approach to automatically generating operation invarian Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2015-02-26 03:09:41 Abstract data types Computing Software engineering Queue Double-ended queue FIFO Abstraction

UPDATE