calculus - PDFSEARCH.IO - Document Search Engine

calculus
Results: 11790

#	Item
471	Microsoft Word - icci2013_cameraready_web.docx Add to Reading List Source URL: cognitivegiscience.psu.edu Language: English - Date: 2014-08-26 16:51:01 Cognition Cognitive science Academia Knowledge representation Reasoning Intelligence Psychology Educational psychology Spatialtemporal reasoning Spatial relation Region connection calculus Human intelligence
472	Reconstructing Arguments: Formalization and Reflective Equilibrium Add to Reading List Source URL: www.georgbrun.ch Language: English - Date: 2014-10-16 03:42:21 Logic Abstraction Philosophy Arguments Critical thinking Philosophy of language Logical truth Semantics First-order logic Logical form Propositional calculus Meaning
473	Nuffield Advanced Mathematics: Mathematics Reader © Nuffield FoundationA tale of two cheeses Adrian Oldknow This article presents a series of problems about the growth of bacteria on a falling cheese. The met Add to Reading List Source URL: www.adrianoldknow.org.uk Language: English - Date: 2007-02-13 12:31:53 Physics Kinematics Food and drink Mechanics Cheddar cheese Velocity Cheese Cheddar Somerset Terminal velocity Acceleration Calculus Listeria
474	No complete linear term rewriting system for propositional logic Anupam Das and Lutz Straßburger Abstract Recently it has been observed that the set of all sound linear inference rules in propositional Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2015-03-23 07:14:32 Mathematics Logic Mathematical logic Boolean algebra Formal languages Semantics Algebraic logic Logic in computer science Substitution Propositional calculus Rewriting Negation
475	Revised6 Report on the Algorithmic Language Scheme MICHAEL SPERBER R. KENT DYBVIG, MATTHEW FLATT, ANTON VAN STRAATEN (Editors) RICHARD KELSEY, WILLIAM CLINGER, JONATHAN REES Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-10-24 08:58:58 Software engineering Computer programming Computing Subroutines Functional languages Functional programming Lambda calculus Computability theory Scheme Lisp Closure Anonymous function
476	HP Prime AP Calculus Summer Institute Materials by Mark Howell Version 1.1, Revised Add to Reading List Source URL: hp-prime.de Language: English - Date: 2015-08-27 03:58:21 Mathematics Functions and mappings Programmable calculators Mathematical analysis Graphing calculators Computer algebra systems Asymptote HP calculators Function key Limit of a function Calculus EVE
477	Paramodulation Paramodulation Linear Paramodulation Add to Reading List Source URL: profs.sci.univr.it Language: English - Date: 2010-08-31 11:58:31 Automated theorem proving Logic Logic programming Mathematical logic Theoretical computer science Logical truth Propositional calculus Substitution Resolution
478	The Power of Comparative Reasoning Jay Yagnik, Dennis Strelow, David A. Ross, Ruei-sung Lin {jyagnik, strelow, dross, rslin}@google.com Abstract beddings on multiple partial order statistics rather than total Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2011-08-08 17:37:32 Information science Information retrieval Statistics Hashing Search algorithms Error detection and correction Vector calculus MinHash Polynomial kernel Jaccard index Support vector machine Cosine similarity
479	Contents 1 Formal Logic with Conceptual Graphs Frithjof Dau 1.1 Introduction . . . . . . . . . . . . . . . . . . . . . 1.2 Short Introduction to Conceptual Graphs . . . . . Add to Reading List Source URL: www.dr-dau.net Language: English - Date: 2016-06-19 12:17:42 Graph theory Diagrams Knowledge representation Logic Charles Sanders Peirce Conceptual graph Existential graph Graph First-order logic Null graph Propositional calculus Diagrammatic reasoning
480	Making stochastic process algebras count — Jane Hillston Making Stochastic Process Algebras Count: Modelling Collective Dynamics Jane Hillston Laboratory for Foundations of Computer Science Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-11-25 05:29:57 Algebra over a field Process calculus Stochastic process Stochastic Jane Hillston Process calculi Data Computing PEPA Information Non-associative algebras TAPAs model checker

UPDATE