Bruno Buchberger, Daniela Dupre, Tudor Jebelean,
"Theorema: A System for Formal Scientific Training in Natural Language Presentation"
, Serie RISC Report Series, Nummer 97-34, SFB-Report, Österreich, 1997, B. Buchberger, T. Jebelean, D. Dupre; RISC-Report 97-34
Original Titel:
Theorema: A System for Formal Scientific Training in Natural Language Presentation
Sprache des Titels:
Englisch
Veröffentlicher:
SFB-Report
Verlagsanschrift:
Österreich
Serie:
RISC Report Series
Number:
97-34
Erscheinungsjahr:
1997
Notiz zum Zitat:
B. Buchberger, T. Jebelean, D. Dupre; RISC-Report 97-34