The Theorema Language: Implementing Object- and Meta-Level Usage of Symbols in the Theorema System

Research output: Working paper and reports › Research report

Name	SFB F013 Reports
No.	98-7

Fields of science

@techreport{51d5c52536bc462d92b987fb0f07912a,

title = "The Theorema Language: Implementing Object- and Meta-Level Usage of Symbols in the Theorema System",

author = "Bruno Buchberger and Wolfgang Windsteiger",

year = "1998",

language = "English",

series = "SFB F013 Reports",

publisher = "SFB-Report",

number = "98-7",

type = "WorkingPaper",

institution = "SFB-Report",

}

TY - UNPB

T1 - The Theorema Language: Implementing Object- and Meta-Level Usage of Symbols in the Theorema System

AU - Buchberger, Bruno

AU - Windsteiger, Wolfgang

PY - 1998

Y1 - 1998

M3 - Research report

T3 - SFB F013 Reports

BT - The Theorema Language: Implementing Object- and Meta-Level Usage of Symbols in the Theorema System

PB - SFB-Report

CY - Österreich

ER -