Bruno Buchberger,
"Mathematical Knowledge Management in Theorema"
, 3-2001, Bruno Buchberger 1st International Workshop on Mathematical Knowledge Management, RISC, Johannes Kepler Universitaet, Schloss Hagenberg, 24.9.2001
Original Titel:
Mathematical Knowledge Management in Theorema
Sprache des Titels:
Englisch
Erscheinungsmonat:
3
Erscheinungsjahr:
2001
Notiz zum Zitat:
Bruno Buchberger 1st International Workshop on Mathematical Knowledge Management, RISC, Johannes Kepler Universitaet, Schloss Hagenberg, 24.9.2001