Bruno Buchberger, Wolfgang Windsteiger,
"The Theorema Language: Implementing Object- and Meta-Level Usage of Symbols in the Theorema System"
, SFB-Report, Österreich, 1998, In Proceedings of the 2nd International Theorema Workshop, RISC report 98-10
Original Titel:
The Theorema Language: Implementing Object- and Meta-Level Usage of Symbols in the Theorema System
Sprache des Titels:
Englisch
Englischer Titel:
The Theorema Language: Implementing Object- and Meta-Level Usage of Symbols in the Theorema System
Veröffentlicher:
SFB-Report
Verlagsanschrift:
Österreich
Erscheinungsjahr:
1998
Notiz zum Zitat:
In Proceedings of the 2nd International Theorema Workshop, RISC report 98-10