Logo Leibniz Universität Hannover
Logo:Institut für Theoretische Informatik
Logo Leibniz Universität Hannover
Logo:Institut für Theoretische Informatik
  • Zielgruppen
  • Suche
 

Dipl.-Math. Irena Schindler

Kontaktinformationen

Institut für Theoretische Informatik
Fakultät für Elektrotechnik und Informatik
Leibniz Universität Hannover
Appelstraße 4
30167 Hannover

Raum:226
Telefon:
Fax: +49 511 762 19606
E-Mail:schindler 

Veröffentlichungen



Vorträge

08.11.2013 (GI Fachgruppe „Logik in der Informatik“ Jahrestagung 2013)

Parameterized Complexity Results for Propositional Circumscription

10.10.2013

Applications of Algorithmic meta Theorems to Knowledge Representation and Reasoning 

Diplomarbeit