Katalog der Deutschen Nationalbibliothek

Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
Neuigkeiten Noch nicht die passende Literatur gefunden? → Book a Librarian
 
 

Ergebnis der Suche nach: nid=1023588242



Treffer 1 von 1 < < > <



Personen
Link zu diesem Datensatz https://d-nb.info/gnd/1023588242
Person Schwichtenberg, Helmut
Akademischer Grad Prof. Dr. rer. nat.
Geschlecht männlich
Quelle LCAuth
Wikipedia: http://de.wikipedia.org/wiki/Helmut_Schwichtenberg
Zeit Lebensdaten: 1942-
Land Deutschland (XA-DE)
Geografischer Bezug Geburtsort: Sagan
Beruf(e) Mathematiker
Logiker
Informatiker
Weitere Angaben Mathematiker
Beziehungen zu Organisationen Ludwig-Maximilians-Universität München
Systematik 28p Personen zu Mathematik
Typ Person (piz)
Autor von 11 Publikationen
  1. Mathematische Logik
    Schütte, Kurt. - Ludwig-Maximilians-Universität München, 1990
  2. Normalization
    Schwichtenberg, Helmut. - Ludwig-Maximilians-Universität München, 1989
  3. ...
Beteiligt an 8 Publikationen
  1. Constructive topology of bishop spaces
    Petrakis, Iosif. - München : Universitätsbibliothek der Ludwig-Maximilians-Universität, 2015
  2. Program extraction from coinductive proofs and its application to exact real arithmetic
    Miyamoto, Kenji. - München : Universitätsbibliothek der Ludwig-Maximilians-Universität, 2013
  3. ...





Treffer 1 von 1
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage


E-Mail-IconAdministration