Axiom - PDFSEARCH.IO - Document Search Engine

Axiom
Results: 922

#	Item
51	The Resolution of Mind A Games Manual by Dennis H. Stephens Add to Reading List Source URL: adarsajnana.files.wordpress.com Language: English - Date: 2015-07-02 22:57:35 Axiom Causality Foundations of geometry Elementary geometry
52	Microsoft Word - AOOS DMAC Summary Febdraft.docx Add to Reading List Source URL: www.aoos.org Language: English - Date: 2015-05-06 15:47:36 Oceanography Integrated Ocean Observing System Axiom Aos National Oceanic and Atmospheric Administration Arctic
53	The Development of Infant Causal Perception Leslie B. Cohen, Geoffrey Amsel, Melissa A. Redford, and Marianella Casasola University of Texas at Austin Chapter to appear in A. Slater (Ed.) "Perceptual development: Visual, Add to Reading List Source URL: spl.uoregon.edu Language: English - Date: 2013-10-08 17:32:19 Causality Philosophy of physics Philosophy of science Conditionals Philosophy of time Causation Present Infant cognitive development Axiom of Causality
54	FIRST ORDER THEORIES OF INDIVIDUAL CONCEPTS AND PROPOSITIONS John McCarthy, Stanford University 2000 Oct 31, 10:36 a.m. Abstract Add to Reading List Source URL: www-formal.stanford.edu Language: English - Date: 2002-03-26 18:10:07 Predicate logic Quantification Philosophical logic Mathematical logic Model theory Modal logic Predicate FO Axiom First-order logic Quantifier Existential quantification
55	A Grand Challenge of Theorem Discovery Geoff Sutcliffe1 , Yi Gao1 , and Simon Colton2 1 Department of Computer Science, University of Miami , Add to Reading List Source URL: www.cs.miami.edu Language: English - Date: 2008-01-08 08:29:08 Automated theorem proving Statements Formal systems Proof theory Philosophy of mathematics Theorem Automated reasoning Conjecture Mathematical logic Mathematical proof Geoff Sutcliffe Axiom
56	Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of Gothenburg Add to Reading List Source URL: events.cs.bham.ac.uk Language: English - Date: 2012-04-25 09:32:10 Set theory Principia Mathematica Science Extensionality Axiom of extensionality Intensional Intension Intuitionistic type theory Deductive lambda calculus
57	The Foundations of Bayesian Epistemology: A Philosophical Introduction Kenny Easwaran November 20, 2015 Chapter 7: Norms and Idealization Add to Reading List Source URL: dl.dropboxusercontent.com Language: English Epistemology Modal logic Possibility Metatheory Justification Theory of justification Belief Bayesian probability Axiom Epistemic possibility DempsterShafer theory Virtue epistemology
58	$SPAD/input schaum5.input Timothy Daly June 15, 2008 1 Add to Reading List Source URL: axiom-developer.org Language: English - Date: 2008-07-09 01:51:33
59	Structured Objects in OWL: Representation and Reasoning Boris Motik† Bernardo Cuenca Grau† Ulrike Sattler‡ Add to Reading List Source URL: www.hermit-reasoner.com Language: English - Date: 2012-02-03 12:06:02 Semantic Web Information science Ontology Knowledge engineering Knowledge representation Web Ontology Language Description logic Semantic reasoner Tbox Axiom Object Ontology engineering
60	Introduction Open games Determinacy and the Axiom of Choice Axiom of Determinacy The Perfect Subset Property Add to Reading List Source URL: www.math.uni-bonn.de Language: English - Date: 2014-11-04 08:14:26 Determinacy Axioms of set theory Descriptive set theory Axiom of determinacy Axiom of choice L Borel determinacy theorem Wadge hierarchy