| 2007 |
|---|
| 7 | EE | Josef Urban,
Grzegorz Bancerek:
Presenting and Explaining Mizar.
Electr. Notes Theor. Comput. Sci. 174(2): 63-74 (2007) |
| 2006 |
|---|
| 6 | EE | Grzegorz Bancerek:
Information Retrieval and Rendering with.
MKM 2006: 266-279 |
| 2004 |
|---|
| 5 | | Andrea Asperti,
Grzegorz Bancerek,
Andrzej Trybulec:
Mathematical Knowledge Management, Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings
Springer 2004 |
| 4 | EE | Grzegorz Bancerek,
Josef Urban:
Integrated Semantic Browsing of the Mizar Mathematical Library for Authoring Mizar Articles.
MKM 2004: 44-57 |
| 2003 |
|---|
| 3 | EE | Grzegorz Bancerek,
Piotr Rudnicki:
Information Retrieval in MML.
MKM 2003: 119-132 |
| 2 | EE | Grzegorz Bancerek:
On the structure of Mizar types.
Electr. Notes Theor. Comput. Sci. 85(7): (2003) |
| 2002 |
|---|
| 1 | | Grzegorz Bancerek,
Piotr Rudnicki:
A Compendium of Continuous Lattices in MIZAR.
J. Autom. Reasoning 29(3-4): 189-224 (2002) |
