Formal Geometry: A Case Study in Theory Exploration Using Theorema
PH
Pädagogische Hochschule Tirol
Leistungstyp
Monogprahie
LL Nr
7439
Dis Auftri
DIS_MONOGR_7439
Jahr
2003
Titel
Formal Geometry: A Case Study in Theory Exploration Using Theorema
Quelle
-, k.A.
Autoren
FUCHS Günther
