Computer-ondersteund redeneren : de boekhouder steunt de denker

J.H. Geuvers

Computer-ondersteund redeneren : de boekhouder steunt de denker

Formal System Analysis

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

73 Downloads (Pure)

Original language	Dutch
Place of Publication	Nijmegen
Publisher	Radboud Universiteit Nijmegen
Number of pages	26
ISBN (Print)	978-90-9021687-4
Publication status	Published - 2007

Bibliographical note

Rede in verkorte vorm uitgesproken bij de aanvaarding van het ambt van hoogleraar Computerondersteund redeneren aan de Faculteit der Natuurwetenschappen, Wiskunde en Informatica van de Radboud Universiteit Nijmegen op vrijdag 9 maart 2007

Access to Document

712483891671584Final published version, 250 KB

Cite this

@book{4a9dd5b5043e4776af1a427bd728f807,

title = "Computer-ondersteund redeneren : de boekhouder steunt de denker",

author = "J.H. Geuvers",

note = "Rede in verkorte vorm uitgesproken bij de aanvaarding van het ambt van hoogleraar aan de Radboud Universiteit Nijmegen op vrijdag 9 maart 2007",

year = "2007",

language = "Nederlands",

isbn = "978-90-9021687-4",

publisher = "Radboud Universiteit Nijmegen",

}

TY - BOOK

T1 - Computer-ondersteund redeneren : de boekhouder steunt de denker

AU - Geuvers, J.H.

N1 - Rede in verkorte vorm uitgesproken bij de aanvaarding van het ambt van hoogleraar aan de Radboud Universiteit Nijmegen op vrijdag 9 maart 2007

PY - 2007

Y1 - 2007

UR - http://repository.ubn.ru.nl/handle/2066/34979

M3 - Inaugurale/afscheids rede

SN - 978-90-9021687-4

BT - Computer-ondersteund redeneren : de boekhouder steunt de denker

PB - Radboud Universiteit Nijmegen

CY - Nijmegen

ER -

Computer-ondersteund redeneren : de boekhouder steunt de denker

Bibliographical note

Access to Document

Other files and links

Cite this