JKU Linz  
 
 


Publikationsdetails

Wissenschaftsgebiete 
Zitat: 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
Anzahl der Seiten: 6
Reichweite: international
Publikationstyp: Anderer Forschungsbericht / Technischer Bericht
Autoren: Bruno Buchberger, Daniela Dupre, Tudor Jebelean
Forschungseinheiten: Institut für Symbolisches Rechnen
Wissenschaftsgebiete: Symbolic Computation (ÖSTAT:1141)
fodok.jku.at Zum Seitenanfang

Benutzerbetreuung: Sandra Winzer, letzte Änderung:

Johannes Kepler Universität (JKU) Linz, Altenbergerstr. 69, A-4040 Linz, Austria
Telefon + 43 732 / 2468 - 9121, Fax + 43 732 / 2468 - 29121, Internet www.jku.at, Impressum