![](https://www.pdfsearch.io/img/c14eda21c5aee64b5d1ab4095d76d0f9.jpg) 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 ListSource URL: www.lama.univ-savoie.frDownload Document from Source Website File Size: 1,44 MBShare Document on Facebook
|