Sascha Klüppelholz: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Sascha Klüppelholz (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Mitarbeiter |Vorname=Sascha |Nachname=Klüppelholz |Akademischer Titel=Dr.-Ing. |Forschungsgruppe=Verifikation und formale quantitative Analyse |Stellung=Wis…“) |
Johannes Lehmann (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 10: | Zeile 10: | ||
|Email=sascha.klueppelholz@tu-dresden.de | |Email=sascha.klueppelholz@tu-dresden.de | ||
|Raum=APB 3007 | |Raum=APB 3007 | ||
|Bild= | |Bild=5L0A7912.jpg | ||
|DBLP=http://dblp.uni-trier.de/pers/hd/k/Kl=uuml=ppelholz:Sascha | |DBLP=http://dblp.uni-trier.de/pers/hd/k/Kl=uuml=ppelholz:Sascha | ||
|Google Scholar=https://scholar.google.de/citations?user=U95oL2AAAAAJ&hl=de | |Google Scholar=https://scholar.google.de/citations?user=U95oL2AAAAAJ&hl=de | ||
Version vom 20. Februar 2025, 14:08 Uhr
„Verifikation und formale quantitative Analyse“ befindet sich nicht in der Liste (Computational Logic, Automatentheorie, Wissensverarbeitung, Knowledge-Based Systems, Knowledge Systems, Wissensbasierte Systeme, Logische Programmierung und Argumentation, Algebra und Diskrete Strukturen, Knowledge-aware Artificial Intelligence, Algebraische und logische Grundlagen der Informatik) zulässiger Werte für das Attribut „Forschungsgruppe“.
Dr.-Ing. Sascha Klüppelholz
Wissenschaftlicher Mitarbeiter Verifikation und formale quantitative Analyse
- sascha.klueppelholz@tu-dresden.de
- +49 351 463 38440
- +49 351 463 38348
- APB 3007
