![]() | ![]() |
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] |