Retrieval and Structuring of Large Mathematical Knowledge Bases in Theorema

Camelia Rosenkranz

Research output: Working paper and reports › Preprint

Original language	English
Place of Publication	Schloss Hagenberg, 4232 Hagenberg
Publisher	RISC, JKU-Linz
Number of pages	139
Publication status	Published - Feb 2009

Name	RISC Report Series
No.	09-04

Fields of science

@techreport{da655ef5031b41829ab0b1ade63410ee,

title = "Retrieval and Structuring of Large Mathematical Knowledge Bases in Theorema",

author = "Camelia Rosenkranz",

year = "2009",

month = feb,

language = "English",

series = "RISC Report Series",

publisher = "RISC, JKU-Linz",

number = "09-04",

type = "WorkingPaper",

institution = "RISC, JKU-Linz",

}