http://d-nb.info/gnd/120954001




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 3 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 8 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. ...