Seminar Automatisches Beweisen in der Aussagenlogik Universität Potsdam, Sommersemester 2007

Das Seminar wird am 27. und 28.9.2007 als zweitägiges Blockseminar durchgeführt.

Jeder Teilnehmer soll das von ihm gewählte Thema selbstständig bearbeiten. Die erforderliche Literatur wird in Form entsprechender Fachartikel zur Verfügung gestellt; bei einigen Themen sollte weitere Literatur recherchiert werden. Die Themen werden spätestens in der ersten Vorlesungswoche vergeben.

Vortrag

Ausarbeitung

Datenschutzerklärung · XHTML · CSS  Letzte Änderung:  tim at-Zeichen cs Punkt uni-potsdam Punkt de,  10.09.2007