Bruno Buchberger, Wolfgang Windsteiger,
"The Theorema Language: Implementing Object- and Meta-Level Usage of Symbols in the Theorema System"
, Serie SFB F013 Reports, Nummer 98-7, 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
Veröffentlicher:
SFB-Report
Verlagsanschrift:
Österreich
Serie:
SFB F013 Reports
Number:
98-7
Erscheinungsjahr:
1998
Notiz zum Zitat:
In Proceedings of the 2nd International Theorema Workshop, RISC report 98-10
Forschungs-