Artem Revenko. Automatic construction of implicative theories for mathematical domains. PhD thesis, Dresden University of Technology, Germany, 2015. [doi]
@phdthesis{dnb-10532,
title = {Automatic construction of implicative theories for mathematical domains},
author = {Artem Revenko},
year = {2015},
url = {http://d-nb.info/1076018289},
researchr = {https://researchr.org/publication/dnb-10532},
cites = {0},
citedby = {0},
school = {Dresden University of Technology, Germany},
}