Op zoek naar bewijs

H. Zantema

Op zoek naar bewijs

Formal System Analysis

Research output: Book/Report › Inaugural/farewell speech › Academic

87 Downloads (Pure)

Original language	Dutch
Place of Publication	Nijmegen
Publisher	Radboud Universiteit
Number of pages	18
ISBN (Print)	978-90-9023168-6
Publication status	Published - 2008

Bibliographical note

Rede uitgesproken bij de aanvaarding van het ambt van hoogleraar, Radboud Nijmegen op vrijdag 30 mei 2008

Access to Document

754513Final published version, 812 KB

Cite this

@book{245f23f812e241d9ba0258d1174f2f98,

title = "Op zoek naar bewijs",

author = "H. Zantema",

note = "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.",

year = "2008",

language = "Nederlands",

isbn = "978-90-9023168-6",

publisher = "Radboud Universiteit",

}

TY - BOOK

T1 - Op zoek naar bewijs

AU - Zantema, H.

N1 - 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.

PY - 2008

Y1 - 2008

M3 - Inaugurale/afscheids rede

SN - 978-90-9023168-6

BT - Op zoek naar bewijs

PB - Radboud Universiteit

CY - Nijmegen

ER -