Katalog der Deutschen Nationalbibliothek

Neuigkeiten

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

 
Neuigkeiten Die Lesesäle der Deutschen Nationalbibliothek Leipzig öffnen am Mittwoch, den 28.05. wegen einer Personalversammlung erst ab 13 Uhr. // The reading rooms of the German National Library in Leipzig will open at 13:00 on Wednesday 28 May due to a staff assembly.
 
Neuigkeiten Die Lesesäle der Deutschen Nationalbibliothek Frankfurt öffnen am Donnerstag, den 05.06. wegen einer Personalversammlung erst ab 13 Uhr. // The reading rooms of the German National Library in Frankfurt will open at 13:00 on Thursday, 5 June due to a staff assembly.
 
 

Ergebnis der Suche nach: nid=12182859X



Treffer 1 von 1 < < > <



Personen
Link zu diesem Datensatz https://d-nb.info/gnd/12182859X
Person Smolka, Gert
Akademischer Grad Prof. Dr.
Andere Namen Smolka, G.
Quelle LCAuth
Zeit Lebensdaten: 1955-
Land Deutschland (XA-DE)
Geografischer Bezug Wirkungsort: Saarbrücken
Beruf(e) Informatiker
Weitere Angaben Informatiker, seit 1990 Prof. der Informatik an der Univ. des Saarlandes
Beziehungen zu Organisationen Universität des Saarlandes
Typ Person (piz)
Autor von 41 Publikationen
  1. Attributive Concept Descriptions with Unions and Complements
    Schmidt-Schauß, Manfred. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2023
  2. Basic Narrowing Revisited
    Nutt, Werner. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2023
  3. ...
Beteiligt an 11 Publikationen
  1. Mechanised metamathematics
    Kirst, Dominik. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2022
  2. Computability in constructive type theory
    Forster, Yannick. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2021
  3. ...





Treffer 1 von 1
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage


E-Mail-IconAdministration