Bruno Buchberger, Florina Piroi,
"Label Management in Mathematical Theories"
, Serie Johann Radon Institute for Computational and Applied Mathematics (RICAM), Nummer 2004--16, RICAM, Johannes Kepler University, 4040 Linz, 11-2004
Original Titel:
Label Management in Mathematical Theories
Sprache des Titels:
Englisch
Veröffentlicher:
RICAM
Verlagsanschrift:
Johannes Kepler University, 4040 Linz
Serie:
Johann Radon Institute for Computational and Applied Mathematics (RICAM)