Mizar - PDFSEARCH.IO - Document Search Engine

Mizar
Results: 102

#	Item
91	PDF Document Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2004-01-15 09:13:15 Logic in computer science Formal methods Automated theorem proving Mizar system Proof assistant Automated proof checking Mizar and Alcor Mathematical proof Isabelle Theoretical computer science Mathematical logic Mathematics
92	PDF Document Add to Reading List Source URL: www.alcor.org Language: English - Date: 2012-03-03 02:53:59 Thermodynamics Alcor Life Extension Foundation Fred and Linda Chamberlain Larry Johnson ALCOR Mizar and Alcor Saul Kent Life extension Charles Platt Cryonics Temperature Cold
93	PDF Document Add to Reading List Source URL: www.alcor.org Language: English - Date: 2012-03-03 02:33:59 Thermodynamics Alcor Life Extension Foundation Vitrification Cryopreservation Life extension Mizar and Alcor Cryonics Institute Neuropreservation Cryonics Temperature Cold
94	PDF Document Add to Reading List Source URL: www.alcor.org Language: English - Date: 2012-03-03 02:33:55 Thermodynamics Alcor Life Extension Foundation Life extension Mizar and Alcor Cryopreservation Vitrification Shannon Vyff Larry Johnson Neuropreservation Cryonics Temperature Cold
95	PDF Document Add to Reading List Source URL: mizar.org Language: English - Date: 2004-01-02 07:27:12 Abstract algebra Sequence space Rational number Convergent Function Real number Exponentiation Mathematics Mathematical analysis Elementary mathematics
96	PDF Document Add to Reading List Source URL: mizar.org Language: English - Date: 2005-07-20 17:21:01 Propositional calculus Quantification Metalogic Logical syntax Function Navantia Natural deduction Universal quantification Model theory Logic Mathematical logic Mathematics
97	PDF Document Add to Reading List Source URL: mizar.org Language: English - Date: 2010-03-05 21:10:35 Type theory Mathematical logic QED manifesto Proof theory Mizar system Proof assistant Mathematical proof Constructivism Setoid Mathematics Logic Formal methods
98	PDF Document Add to Reading List Source URL: mizar.org Language: English - Date: 2010-03-05 21:10:35 Predicate logic Logical syntax Formal languages Semantics Constructible universe Interpretation First-order logic Symbol Entailment Logic Mathematical logic Model theory
99	PDF Document Add to Reading List Source URL: mizar.org Language: English - Date: 2007-03-01 14:47:28 Algebraic structures Ring theory Commutative algebra Mathematical structures Field theory Polynomial ring Polynomial Ring Field extension Abstract algebra Algebra Mathematics
100	PDF Document Add to Reading List Source URL: mizar.org Language: English - Date: 2007-04-17 17:02:53 Mathematical logic Knowledge Mizar system QED manifesto Proof assistant Mathematical proof Automated proof checking Andrzej Trybulec Constructivism Logic Mathematics Formal methods

UPDATE