Katalog der Deutschen Nationalbibliothek

Neuigkeiten Am Mittwoch, dem 21. November (Buß- und Bettag) bleibt die Deutsche Nationalbibliothek in Leipzig geschlossen. Die Ausstellungen des Deutschen Buch- und Schriftmuseums sind ebenfalls geschlossen. // The German National Library in Leipzig will be closed on Wednesday 21 November 2018. The Exhibitions of the German Museum of Books and Writing will be closed as well.
 
 

Ergebnis der Suche nach: nid=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