author = {Marek Sacha},
title = {{Structuring and Reusing Knowledge in the Theorema System}},
language = {english},
year = {2011},
translation = {0},
school = {Internationaler Universitätslehrgang Informatics: Engineering and Management (ISI), Johannes Kepler University Linz},
length = {77},
type = {Diploma Thesis}