Katalog der Deutschen Nationalbibliothek

Gesamter Bestand
Musikarchiv
Exilsammlungen
Buchmuseum

Suchformular zurücksetzen  
 
Expertensuche ?
 
eingeschränkt auf
- Normdaten:  Personen
Neuigkeiten Servicezeiten in Frankfurt am Main ab 1. Dezember 2025: Montag bis Freitag 9–18 Uhr und Samstag 10–16 Uhr
Service hours in Frankfurt am Main from 1 December 2025: Monday to Friday 9:00-18:00 and Saturday 10:00-16:00
 
Neuigkeiten Dienstag 9. Dezember 2025: Die Lesesäle der Deutschen Nationalbibliothek in Leipzig öffnen wegen einer Personalversammlung erst ab 13 Uhr. // Tuesday 9 December 2025: The reading rooms of the German National Library in Leipzig will open at 13:00 due to a staff assembly.
 
 

Ergebnis der Suche nach: "121309215"



Treffer 1 von 1 < < > <



Personen
Link zu diesem Datensatz https://d-nb.info/gnd/121309215
Person Ganzinger, Harald
Quelle PND
Zeit Lebensdaten: 1950-2004
Land Deutschland (XA-DE)
Beruf(e) Informatiker
Weitere Angaben Dt. Informatiker
Informatiker
Systematik 30p Personen zu Informatik, Datenverarbeitung
Typ Person (piz)
Autor von 4 Publikationen
  1. Ext. [extended] abstracts of the 1st German Workshop Term Rewriting
    Müller, Jürgen. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2024
  2. Automated complexity analysis based on ordered resolution
    Basin, David A.. - Saarbrücken : MPI Informatik, Bibliothek & Dokumentation, 1995
  3. ...
Beteiligt an 8 Publikationen
  1. Programming logics
    Berlin : Springer, 2013
  2. Programming Logics
    Berlin, Heidelberg : Springer Berlin Heidelberg, 2013
  3. ...





Treffer 1 von 1
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage


E-Mail-IconAdministration