PhD thesis,

Advanced Techniques for Grounding and Solving in the IDP Knowledge Base System ; Geavanceerde technieken voor grounden en solven in het IDP kennisbanksysteem.

.
Katholieke Universiteit Leuven, Belgium, (2016)base-search.net (ftunivleuven:oai:lirias.kuleuven.be:123456789/555195).

Meta data

Tags

Users

  • @dblp

Comments and Reviews