Axiom - PDFSEARCH.IO - Document Search Engine

Axiom
Results: 922

#	Item
861	PDF Document Add to Reading List Source URL: www.math.ias.edu Language: English - Date: 2013-10-09 10:35:26 Infinity Non-standard analysis Calculus Real closed field Differential Hyperreal number Infinitesimal Function Axiom of choice Mathematics Mathematical analysis Abstract algebra
862	PDF Document Add to Reading List Source URL: hubertkennedy.angelfire.com Language: English - Date: 2011-05-25 17:19:36 Formal systems Philosophers of mathematics Giuseppe Peano Axiomatic system Logicism Primitive notion Richard Dedekind Axiom Natural number Mathematics Logic Mathematical logic
863	PDF Document Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2007-10-29 17:33:52 Compiler optimizations Association for Computing Machinery Programming Language Design and Implementation SIGPLAN Register allocation XPL Graph coloring Axiom Static single assignment form Computing Programming language theory Computer science
864	PDF Document Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2005-06-28 15:47:02 Self-reconfiguring modular robot Theoretical computer science Robot Ensemble axiom Autonomous robot Electrical connector Cog Microbotics Power supply Robotics Adaptable robotics Claytronics
865	PDF Document Add to Reading List Source URL: www.cfh.ufsc.br Language: English - Date: 2010-09-29 17:32:45 Model theory Z notation Zermelo–Fraenkel set theory Axiom Finite set Inner model First-order logic Von Neumann universe Structure Mathematical logic Mathematics Logic
866	PDF Document Add to Reading List Source URL: www.ams.org Language: English - Date: 2006-01-05 16:10:59 Cardinal numbers Infinity Z notation Ordinal numbers Axioms of set theory Zermelo–Fraenkel set theory Constructible universe Axiom of choice S Mathematical logic Set theory Mathematics
867	PDF Document Add to Reading List Source URL: www.ams.org Language: English - Date: 2001-07-12 09:46:25 Determinacy Forcing Descriptive set theory Cardinal numbers Axiom of projective determinacy Ω-logic Zermelo–Fraenkel set theory Continuum hypothesis Inaccessible cardinal Mathematical logic Set theory Large cardinals
868	PDF Document Add to Reading List Source URL: www.ams.org Language: English - Date: 2001-06-07 11:17:20 Large cardinals Inner model theory Descriptive set theory Forcing Axiom of projective determinacy Zermelo–Fraenkel set theory Axiom of determinacy Axiom of choice Borel determinacy theorem Mathematical logic Set theory Determinacy
869	PDF Document Add to Reading List Source URL: us.metamath.org Language: English - Date: 2013-09-22 22:46:06 Formal methods Logical syntax Formal languages Metamath Set theory Automated proof checking Axiom Automated theorem proving First-order logic Logic Mathematics Mathematical logic
870	PDF Document Add to Reading List Source URL: www.ai.sri.com Language: English - Date: 2003-07-03 23:51:49 Automated theorem proving Formal systems Model theory Z notation Richard Waldinger SNARK Logic programming Axiom First-order logic Logic Mathematics Mathematical logic

UPDATE