Grzegorz Bancerek (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

7 Josef Urban, Grzegorz Bancerek: Presenting and Explaining Mizar. Electr. Notes Theor. Comput. Sci. 174(2): 63-74 (2007)

4 Grzegorz Bancerek, Josef Urban: Integrated Semantic Browsing of the Mizar Mathematical Library for Authoring Mizar Articles. MKM 2004: 44-57

Selection of 2 from 7 records - Grzegorz Bancerek has 4 coauthors

7		Josef Urban, Grzegorz Bancerek: Presenting and Explaining Mizar. Electr. Notes Theor. Comput. Sci. 174(2): 63-74 (2007)
4		Grzegorz Bancerek, Josef Urban: Integrated Semantic Browsing of the Mizar Mathematical Library for Authoring Mizar Articles. MKM 2004: 44-57