Axiom - PDFSEARCH.IO - Document Search Engine

Axiom
Results: 922

#	Item
821	Methodology for the Design and Evaluation of Ontologies Michael Gruninger and Mark S. Fox Department of Industrial Engineering Add to Reading List Source URL: www.eil.utoronto.ca Language: English - Date: 2011-06-19 08:50:58 Knowledge Enterprise modelling TOVE Project Logic Cyc Mereology Axiom Upper ontology Ontology components Ontology Science Information
822	Is ZF a hack? Comparing the complexity of some (formalist interpretations of ) Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2008-04-30 04:22:51 Set theory Type theory Model theory Z notation Automath Axiom of choice Axiom schema of replacement New Foundations Axiom Mathematical logic Logic Mathematics
823	Believing the Axioms. II Penelope Maddy The Journal of Symbolic Logic, Vol. 53, No. 3. (Sep., 1988), pp[removed]. Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2007-11-05 14:40:27 Axiom of determinacy Borel determinacy theorem Axiom of choice Axiom of projective determinacy Zermelo–Fraenkel set theory L Descriptive set theory Forcing Continuum hypothesis Mathematical logic Set theory Determinacy
824	Believing the Axioms. I Penelope Maddy The Journal of Symbolic Logic, Vol. 53, No. 2. (Jun., 1988), pp[removed]. Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2007-11-05 14:40:52 Axioms of set theory Z notation Urelements Cardinal numbers Infinity Zermelo set theory Zermelo–Fraenkel set theory S Axiom of choice Mathematical logic Set theory Mathematics
825	PDF Document Add to Reading List Source URL: www.ams.org Language: English - Date: 2010-01-14 11:35:19 Mathematical logic Measure Mathematical analysis Probability theory Leroy P. Steele Prize Mathematics Set theory Axiom of choice
826	PDF Document Add to Reading List Source URL: www.ams.org Language: English - Date: 2010-01-14 13:40:33 Propositional calculus Mathematical logic Philosophical logic Boolean algebra Classical logic Principia Mathematica Axiom of reducibility Function Contradiction Logic Mathematics Philosophy
827	PDF Document Add to Reading List Source URL: www.ams.org Language: English - Date: 2010-01-14 11:41:30 Line Karl Georg Christian von Staudt Axiom Oswald Veblen Complex projective space Space Ordered geometry Finite geometry Geometry Projective geometry Projective space
828	PDF Document Add to Reading List Source URL: www.ams.org Language: English - Date: 2010-01-14 11:47:11 Symmetry Space Projective space Axiom Group Mathematical logic Geometry Mathematics Projective geometry
829	PDF Document Add to Reading List Source URL: www.aldor.org Language: English - Date: 2007-03-02 11:56:37 Procedural programming languages Array programming languages Aldor Axiom Functional languages IBM software C Numerical Algorithms Group Fortran Computing Software engineering Computer programming
830	PDF Document Add to Reading List Source URL: www1.maths.leeds.ac.uk Language: English - Date: 2012-10-11 12:56:02 Axioms of set theory Ordinal numbers Proof theory Z notation Constructive set theory Axiom schema of replacement Ordinal analysis Kripke–Platek set theory Constructible universe Mathematical logic Mathematics Logic

UPDATE