author = {Daniela Vasaru Dupre},
title = {{Automated Theorem Proving by Integrating Proving, Solving and Computing}},
language = {english},
year = {2000},
translation = {0},
school = {RISC, Johannes Kepler University of Linz},
length = {146},
type = {phdthesis}