|
Search the dblp DataBase
Grzegorz Bancerek:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Grzegorz Bancerek, Piotr Rudnicki
Information Retrieval in MML. [Citation Graph (0, 0)][DBLP] MKM, 2003, pp:119-132 [Conf]
- Grzegorz Bancerek, Josef Urban
Integrated Semantic Browsing of the Mizar Mathematical Library for Authoring Mizar Articles. [Citation Graph (0, 0)][DBLP] MKM, 2004, pp:44-57 [Conf]
- Grzegorz Bancerek
Information Retrieval and Rendering with. [Citation Graph (0, 0)][DBLP] MKM, 2006, pp:266-279 [Conf]
- Grzegorz Bancerek
On the structure of Mizar types. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2003, v:85, n:7, pp:- [Journal]
- Josef Urban, Grzegorz Bancerek
Presenting and Explaining Mizar. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2007, v:174, n:2, pp:63-74 [Journal]
- Grzegorz Bancerek, Piotr Rudnicki
A Compendium of Continuous Lattices in MIZAR. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 2002, v:29, n:3-4, pp:189-224 [Journal]
Search in 0.001secs, Finished in 0.001secs
|