Koji Nakagawa, Bruno Buchberger,
"Two Tools for Mathematical Knowledge Management in Theorema"
, in B. Buchberger and O. Caprotti: Workshop in Mathematical Knowledge Management 2001, 9-2001, ISBN: 3-902276-00-2, K. Nakagawa, B. Buchberger In B. Buchberger and O. Caprotti, editor, (MKM`01)
Original Titel:
Two Tools for Mathematical Knowledge Management in Theorema
Sprache des Titels:
Englisch
Original Buchtitel:
Workshop in Mathematical Knowledge Management 2001
Erscheinungsmonat:
9
Erscheinungsjahr:
2001
Notiz zum Zitat:
K. Nakagawa, B. Buchberger In B. Buchberger and O. Caprotti, editor, (MKM`01)