Katalog der Deutschen Nationalbibliothek

Neuigkeiten Am Mittwoch, 30. August 2017, ist die Deutsche Nationalbibliothek in Frankfurt am Main wegen eines Betriebsfestes geschlossen. // The German National Library in Frankfurt am Main will be closed on Wednesday, 30 August 2017, due to a staff event.
 
 

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