URI | https://d-nb.info/gnd/118117629 |
Entitätstyp | Individualisierte Person |
GND-Nummer | 118117629 |
Beruf oder Beschäftigung | Mathematiker | Informatiker |
Affiliation | Fraunhofer-Institut für Rechnerarchitektur und Softwaretechnik | Westfälische Wilhelms-Universität Münster | Technische Universität Berlin. Fakultät Elektrotechnik und Informatik |
Akademischer Grad | Prof. Dr. |
Ländercode | Deutschland |
Geschlecht | Unbekannt |
Geburtsdatum | 1969 |
Geburtsort | Berlin |
Titelangabe | Beweistheoretische Techniken zur Bestimmung von Pi 0 2 -Skolem-Funktionen. - 1997 |
Siehe auch |