Katalog der Deutschen Nationalbibliothek

 

Ergebnis der Suche nach: idn=120954001



Treffer 1 von 1 < < > <



Personen
Link zu diesem Datensatz http://d-nb.info/gnd/120954001
Person Gottlob, Georg
Akademischer Grad Prof.
Quelle LOC-NA
Zeit Lebensdaten: 1956-
Wirkungsdaten: 1988-
Land Österreich (XA-AT)
Geografischer Bezug Geburtsort: Wien
Wirkungsort: Wien
Beruf(e) Informatiker
Beziehungen zu Organisationen Technische Universität Wien
Typ Person (piz)
Autor von 4 Publikationen
  1. Existential second-order logic over strings [Elektronische Ressource]
    Eiter, Thomas. - Gießen : Universitätsbibliothek, 1998
  2. Existential second-order logic over strings
    Eiter, Thomas. - Giessen : IFIG, 1997
  3. ...
Beteiligt an 9 Publikationen
  1. Big data
    Heidelberg : Springer, 2013
  2. Finite model theory, databases, and computer aided verification
    Saarbrücken : Geschäftsstelle Schloss Dagstuhl, Univ. des Saarlandes, 2000
  3. ...





Treffer 1 von 1
< < > <


E-Mail-IconAdministration