Zur Seitennavigation oder mit Tastenkombination für den accesskey-Taste und Taste 1 
Zum Seiteninhalt oder mit Tastenkombination für den accesskey und Taste 2 
Muster-Hochschule
Startseite    Anmelden    SoSe 2024      Umschalten in deutsche Sprache / Switch to english language      Sitemap
Studentisches Leben      Veranstaltungen      Hochschulstruktur      Räume und Gebäude      Personen     
Sie sind hier: Startseite

Das Erfüllbarkeitsproblem SAT - Einzelansicht

Zurück
  • Funktionen:
Grunddaten
Veranstaltungsart Proseminar Langtext
Veranstaltungsnummer 67260 Kurztext
Semester WiSe 2012/13 SWS
Erwartete Teilnehmer/-innen Max. Teilnehmer/-innen
Turnus Keine Übernahme Veranstaltungsanmeldung Keine Veranstaltungsbelegung im LSF
Credits
Weitere Links http://www.mpi-inf.mpg.de/departments/rg1/teaching/sat-ws12/
Sprache Deutsch


Zugeordnete Personen
Zugeordnete Personen Zuständigkeit
Hack, Sebastian , Univ.-Prof. Dr.
Weidenbach, Christoph , Univ.-Prof. Dr. rer. nat.
Zuordnung zu Einrichtungen
Informatik

Strukturbaum
Keine Einordnung ins Vorlesungsverzeichnis vorhanden. Veranstaltung ist aus dem Semester WiSe 2012/13 , Aktuelles Semester: SoSe 2024