Mizar

#	Item
1	FORMALIZED Vol. MATHEMATICS 19, No. 1, Pages 1–9, 2011 Add to Reading List Source URL: fm.mizar.org - Date: 2011-08-17 06:36:54
2	An Example of Formalizing Recent Mathematics in MIZAR Adam Naumowicz University of Białystok, Poland Add to Reading List Source URL: www.lama.univ-savoie.fr - Date: 2005-11-14 03:51:36
3	MIZAR in MathWiki Adam Naumowicz Institute of Computer Science University of Bialystok, Poland Add to Reading List Source URL: homepages.inf.ed.ac.uk - Date: 2007-11-12 11:08:05
4	FORMALIZED MATHEMATICS 10 3 Add to Reading List Source URL: www.mizar.org - Date: 2007-03-01 14:02:11
5	NEW MAILBOX OLD MAILBOX Add to Reading List Source URL: fm.mizar.org - Date: 2014-02-01 15:50:19
6	FORMALIZED MATHEMATICS 10 1 Add to Reading List Source URL: www.mizar.org - Date: 2007-03-01 12:57:36
7	FORMALIZED MATHEMATICS Volume 6, Number 2, University of Białystok 1997 Add to Reading List Source URL: www.mizar.org - Date: 2007-03-01 10:42:55
8	Introduction to the MIZAR system Adam Naumowicz Institute of Computer Science University of Bialystok, Poland Add to Reading List Source URL: typessummerschool07.cs.unibo.it - Date: 2007-08-25 07:14:55
9	STUDIES IN LOGIC, GRAMMAR AND RHETORICEvaluating Prospective Built-in Elements of Computer Algebra in Mizar⋆ Adam Naumowicz Institute of Computer Science Add to Reading List Source URL: mizar.org - Date: 2010-03-05 21:10:35