| |
| 2006 | ||
|---|---|---|
| 2 | EE | Adam Naumowicz: An example of formalizing recent mathematical results in Mizar. J. Applied Logic 4(4): 396-413 (2006) |
| 2004 | ||
| 1 | EE | Adam Naumowicz, Czeslaw Bylinski: Improving Mizar Texts with Properties and Requirements. MKM 2004: 290-301 |
| 1 | Czeslaw Bylinski | [1] |