Formale Softwareentwicklung
Implementierung von verschiedenen Logiken in einem generischen Deduktionssystem
Adäquatheit Logischer Spezifikationsformalismen
Wir suchen ständig Studenten für HiWi-Tätigkeiten im Bereich der Formalen Methoden und Logik ! Aktuell: Implementierung einer Beweisplanungskomponente
Aktuell: Implementierung einer Beweisplanungskomponente
![[DFKI]](/icon/navigation/dfkib.gif){kind=icon}
![[lab]](/icon/navigation/lab.gif){kind=icon}
![[up]](/icon/navigation/nur_up.gif){kind=icon}
![[search]](/icon/navigation/find.gif){kind=icon}
![[server info]](/icon/navigation/server_info.gif){kind=icon}