An Example of Formalizing Recent Mathematics in MIZAR Adam Naumowicz University of Białystok, Poland

First Page		Document Content
Date: 2005-11-14 03:51:36		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 Download Document from Source Website File Size: 1,44 MB Share Document on Facebook