Katalog der Deutschen Nationalbibliothek

Neuigkeiten Die Deutsche Nationalbibliothek in Leipzig ist am 22. November (Buß- und Bettag) geschlossen. Die Ausstellungen des Deutschen Buch- und Schriftmuseums sind ebenfalls geschlossen.
 
Neuigkeiten Am Dienstag, 28. November, öffnet die Deutsche Nationalbibliothek in Leipzig wegen einer Personalversammlung erst ab 13 Uhr für die Benutzung. Die Ausstellungen des Deutschen Buch- und Schriftmuseums sind von 10 bis 18 Uhr geöffnet.
 
 

Ergebnis der Suche nach: idn=124647219



Treffer 1 von 1 < < > <



Personen
Link zu diesem Datensatz http://d-nb.info/gnd/124647219
Person Barendregt, Hendrik P.
Andere Namen Barendregt, Henk P.
Barendregt, H. P.
Barendregt, Hendrik Pieter
Barendregt, Henk
Barendregt, Henk Pieter
Quelle LCAuth
Zeit Lebensdaten: 1947-
Land Niederlande (XA-NL)
Beruf(e) Mathematiker
Informatiker
Weitere Angaben Mathematiker, Informatiker
Beziehungen zu Organisationen Radboud Universiteit Nijmegen
Typ Person (piz)
Beteiligt an 1 Publikation
  1. Types for proofs and programs
    Berlin : Springer, 1994





Treffer 1 von 1
< < > <


E-Mail-IconAdministration