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