AGNES -
Lehre und Prüfung online
Studierende in Vorlesung
Anmelden
Startseite

Puhle, Christof , Dr.rer.nat. - Detailseite

  • Funktionen:
  • Keine Funktionen verfügbar.
Grunddaten
Nachname Puhle
Vorname Christof Sprechzeit
Namenszusatz Personalstatus wiss. Mitarb.
Titel Bemerkung 323016
Akad. Grad Dr.rer.nat. Status intern

Dienstadresse
PLZ 12489 Telefon 2093 1436
Ort Berlin-Adlershof Fax
Straße Rudower Chaussee 25 E-Mail-Adresse  
Dienstzimmer Hyperlink  
Gebäude Sekretariat
Zuordnung zu Einrichtungen
Einrichtung
Mathematisch-Naturwissenschaftliche Fakultät, Institut für Mathematik, Differentialgeometrie und Globale Analysis
Veranstaltungen
Vst.-Nr. Veranstaltungen Semester
3314524 Spezielle Theman der Mathematik (M39): Maschinelles Beweisen - Resolutiosverfahren in der Aussagenlogik SoSe 2025
33145241 Spezielle Theman der Mathematik (M39): Maschinelles Beweisen - Resolutiosverfahren in der Aussagenlogik SoSe 2025
ÜWP3314524 Spezielle Theman der Mathematik (M39): Maschinelles Beweisen - Resolutiosverfahren in der Aussagenlogik (ÜWP) SoSe 2025
ÜWP33145241 Spezielle Theman der Mathematik (M39): Maschinelles Beweisen - Resolutiosverfahren in der Aussagenlogik (ÜWP) SoSe 2025

Strukturbaum

Keine Zuordnung zu Einrichtungen vorhanden
Ansprechpartner:innen | Barrierefreiheit | Impressum | Datenschutzerklärung
Humboldt-Universität zu Berlin | Unter den Linden 6 | D-10099 Berlin