Adam Naumowicz

	2009
3		Adam Naumowicz, Artur Kornilowicz: A Brief Overview of Mizar. TPHOLs 2009: 67-72
	2006
2		Adam Naumowicz: An example of formalizing recent mathematical results in Mizar. J. Applied Logic 4(4): 396-413 (2006)
	2004
1		Adam Naumowicz, Czeslaw Bylinski: Improving Mizar Texts with Properties and Requirements. MKM 2004: 290-301

Coauthor Index

1	Czeslaw Bylinski	[1]
2	Artur Kornilowicz	[3]

Colors in the list of coauthors