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

Decision Procedures - Einzelansicht

Zurück
  • Funktionen:
Grunddaten
Veranstaltungsart Seminar Langtext
Veranstaltungsnummer 86859 Kurztext
Semester SoSe 2015 SWS
Erwartete Teilnehmer/-innen Max. Teilnehmer/-innen
Turnus Veranstaltungsanmeldung Keine Veranstaltungsbelegung im LSF
Credits
Weitere Links http://www.mpi-inf.mpg.de/departments/automation-of-logic/teaching/summer-2015/decision-procedures/
Sprache Englisch


Zugeordnete Personen
Zugeordnete Personen Zuständigkeit
Weidenbach, Christoph , Univ.-Prof. Dr. rer. nat.
Sturm, Thomas
Studiengänge
Abschluss Studiengang Semester Prüfungsversion Kommentar LP BP ECTS
LA Sekundarstufe I und II Informatik - 20121 7 7
Bachelor (KB) Cybersicherheit - 20141 7 7
Bachelor (KB) Medieninformatik - 20131 7 7
Master (KB) Medieninformatik - 20131 7 7
Zuordnung zu Einrichtungen
Informatik
Inhalt
Kurzkommentar

Preparatory Meeting: Tuesday, April 14th, 2015: 10-12h, room 630 (Building E1 5)

Strukturbaum
Keine Einordnung ins Vorlesungsverzeichnis vorhanden. Veranstaltung ist aus dem Semester SoSe 2015 , Aktuelles Semester: SoSe 2024