Advanced Techniques for Grounding and Solving in the IDP Knowledge Base System ; Geavanceerde technieken voor grounden en solven in het IDP kennisbanksysteem.
J. Jansen. Katholieke Universiteit Leuven, Belgium, (2016)base-search.net (ftunivleuven:oai:lirias.kuleuven.be:123456789/555195).
%0 Thesis
%1 phd/basesearch/Jansen16
%A Jansen, Joachim
%D 2016
%K dblp
%T Advanced Techniques for Grounding and Solving in the IDP Knowledge Base System ; Geavanceerde technieken voor grounden en solven in het IDP kennisbanksysteem.
@phdthesis{phd/basesearch/Jansen16,
added-at = {2020-03-12T00:00:00.000+0100},
author = {Jansen, Joachim},
biburl = {https://www.bibsonomy.org/bibtex/2de053dd40a715388edf75826c202e0f9/dblp},
ee = {https://www.base-search.net/Record/37df0ad2238cf19c75a306d71736031087c94de5373039a32648c3d7d9183f1a},
interhash = {c8d2a5d38afc2f890ae26ce287ed6368},
intrahash = {de053dd40a715388edf75826c202e0f9},
keywords = {dblp},
note = {base-search.net (ftunivleuven:oai:lirias.kuleuven.be:123456789/555195)},
school = {Katholieke Universiteit Leuven, Belgium},
timestamp = {2020-03-13T12:18:53.000+0100},
title = {Advanced Techniques for Grounding and Solving in the IDP Knowledge Base System ; Geavanceerde technieken voor grounden en solven in het IDP kennisbanksysteem.},
year = 2016
}