Adam Grabowski

	2007
7		Adam Grabowski, Christoph Schwarzweller: Revisions as an Essential Tool to Maintain Mathematical Repositories. Calculemus/MKM 2007: 235-249
6		Adam Grabowski, Magdalena Jastrzebska: Rough Set Theory from a Math-Assistant Perspective. RSEISP 2007: 152-161
	2005
5		Adam Grabowski, Christoph Schwarzweller: Translating Mathematical Vernacular into Knowledge Repositories. MKM 2005: 49-64
	2004
4		Adam Grabowski, Markus Moschner: Managing Heterogeneous Theories within a Mathematical Knowledge Repository. MKM 2004: 116-129
3		Adam Grabowski, Christoph Schwarzweller: Rough Concept Analysis - Theory Development in the Mizar System. MKM 2004: 130-144
2		Adam Grabowski: Solving Two Problems in General Topology Via Types. TYPES 2004: 138-153
	1999
1		Adam Grabowski: Lattice of Substitutions. Reports on Mathematical Logic 33: 99-109 (1999)

Coauthor Index

1	Magdalena Jastrzebska	[6]
2	Markus Moschner	[4]
3	Christoph Schwarzweller	[3] [5] [7]

Colors in the list of coauthors