Semantisches Browsen

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Peter Steinke
Abschlussarbeiten anzeigen 1  +
Bild Peter.png  +
Ehemaliger 1  +
Forschungsgebiet Logic and Decision Procedures +
Forschungsgruppe Wissensverarbeitung +
Forschungsgruppe EN Knowledge Representation and Reasoning +
Gebäude APB  +
Image Datei:Peter.png +
Nachname Steinke  +
Name Peter Steinke  +
Publikationen anzeigen 1  +
Raum APB 2021 +
Stellung Doktorand  +
Telefon +49 351 463 38343  +
Vorname Peter  +
Hat Abfrage
Dieses Attribut ist ein Spezialattribut in diesem Wiki.
Peter Steinke + , Peter Steinke + , Peter Steinke + , Peter Steinke + , Peter Steinke + , Peter Steinke + , Peter Steinke + , Peter Steinke +
Kategorien Mitarbeiter
Zuletzt geändert
Dieses Attribut ist ein Spezialattribut in diesem Wiki.
11 Mai 2017 11:52:24  +
E-Mail
Dieses Attribut ist ein Spezialattribut in diesem Wiki.
peter.steinke@tu-dresden.de  +
verstecke Attribute die hierhin verlinken 
LATPub424 + , LATPub425 + , LATPub700 + , WVPub121 + , WVPub153 + , WVPub21 + , WVPub237 + , WVPub312 + , WVPub335 + , WVPub338 + , WVPub6 + , WVPub61 + , WVPub90 + Author
Thema3481 + , Thema3501 + Betreuer
Knowledge Representation and Reasoning Seminar (SS2016) + , Knowledge Representation and Reasoning Seminar (WS2016) + Lecturer
Formale Systeme(WS2015) + , Forschungslinie (SS2016) + , SAT-Solving und das Lösen von Sudokus (SS2015) + Tutor
 

 

Bitte den Namen einer Seite angeben, um mit dem Browsen zu beginnen.