Mizar - PDFSEARCH.IO - Document Search Engine

Mizar
Results: 102

#	Item
21	PDF Document Add to Reading List Source URL: www.mizar.org - Date: 2007-03-01 12:52:30
22	PDF Document Add to Reading List Source URL: www.mizar.org - Date: 2007-03-01 12:22:40
23	M ECHANIZED M ATHEMATICS AND I TS A PPLICATIONS, VOL . 4, N O. 1, M ARCH 2005, 3:24 M IZAR: the first 30 years Roman Matuszewski1 and Piotr Rudnicki2? 1 University of Białystok, Białystok, Poland, Add to Reading List Source URL: mizar.auburn.edu - Date: 2005-07-20 17:21:01
24	Mizar Hands-on Tutorial Adam Naumowicz Artur Kornilowicz Adam Grabowski Add to Reading List Source URL: mizar.auburn.edu Language: English - Date: 2016-07-29 01:16:07 Logic Mathematical logic Abstraction Predicate logic Proof assistants Mizar system Andrzej Trybulec Formal methods First-order logic TarskiGrothendieck set theory Constructible universe Mizar
25	Contents Formaliz. MathModelling Real World Using Stochastic Processes and Filtration By Peter Jaeger . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Add to Reading List Source URL: mizar.uwb.edu.pl Language: English - Date: 2016-08-07 18:59:36 Mathematical analysis Mathematics Probability theory Measure theory Mathematical logic Boolean algebra Sigma-algebra Borel set Probability space Pi system
26	Alcor Logo Concepts_v5 Varations_052115 Add to Reading List Source URL: alcor.org Language: English - Date: 2015-11-12 19:06:45 Emerging technologies Alcor Life Extension Foundation Demography Cryopreservation Cryobiology ALCOR Cryonics Life extension Mizar and Alcor Fred and Linda Chamberlain Jerry Leaf
27	Mizar Hands-on Tutorial Adam Naumowicz Artur Kornilowicz Adam Grabowski Add to Reading List Source URL: mizar.uwb.edu.pl Language: English - Date: 2016-07-29 01:16:07 Logic Mathematical logic Predicate logic Abstraction Proof assistants Mizar system Andrzej Trybulec Formal methods First-order logic TarskiGrothendieck set theory Constructible universe Mizar
28	Mizar Hands-on Tutorial Adam Naumowicz Artur Kornilowicz Adam Grabowski Add to Reading List Source URL: www.mizar.org Language: English - Date: 2016-07-29 01:16:07 Logic Mathematical logic Predicate logic Abstraction Proof assistants Mizar system Andrzej Trybulec Formal methods First-order logic TarskiGrothendieck set theory Constructible universe Mizar
29	The Combined KEAPPA - IWIL Workshops Proceedings Proceedings of the workshops Knowledge Exchange: Automated Provers and Proof Assistants and The 7th International Workshop on the Implementation of Logics held at Add to Reading List Source URL: www.cs.miami.edu Language: English - Date: 2008-11-17 12:13:47 Automated theorem proving Automated reasoning Proof assistant First-order logic Type theory TarskiGrothendieck set theory Mizar and Alcor Geoff Sutcliffe Jordan curve theorem Isabelle Mathematical logic Reasoning system
30	Mizar Hands-on Tutorial Adam Naumowicz Artur Kornilowicz Adam Grabowski Add to Reading List Source URL: mizar.org Language: English - Date: 2016-07-29 01:16:07 Predicate logic Proof assistants Mizar system Andrzej Trybulec Formal methods First-order logic TarskiGrothendieck set theory Constructible universe Mizar Automated proof checking Quantifier