Bruno Buchberger, Daniela Dupre, Tudor Jebelean,
"Theorema: A System for Formal Scientific Training in Natural Language Presentation"
, 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
Englischer Titel:
Theorema: A System for Formal Scientific Training in Natural Language Presentation
Veröffentlicher:
SFB-Report
Verlagsanschrift:
Österreich
Erscheinungsjahr:
1997
Notiz zum Zitat:
B. Buchberger, T. Jebelean, D. Dupre; RISC-Report 97-34