Op zoek naar bewijs

Onderzoeksoutput: Boek/rapportInaugurale redeAcademic

42 Downloads (Pure)
Originele taal-2Nederlands
Plaats van productieNijmegen
UitgeverijRadboud Universiteit
Aantal pagina's18
ISBN van geprinte versie978-90-9023168-6
StatusGepubliceerd - 2008

Bibliografische nota

Rede uitgesproken bij de aanvaarding van het ambt van hoogleraar Applications of term rewriting in theorem proving aan de Faculteit der Natuurwetenschappen, Wiskunde en Informatica van de Radboud Universiteit Nijmegen op vrijdag 30 mei 2008.

Citeer dit

Zantema, H. (2008). Op zoek naar bewijs. Radboud Universiteit.