TY - Generic T1 - Logische Bewijsdynamieken voor de Formele Explicatie van Wetenschappelijke Probleemoplossingsprocessen Y1 - 2008 A1 - Verdée, Peter PB - Ghent University U1 -

Diderik Batens

ER -