Studium

Proseminar: Künstliche Intelligenz - Aufbau einer Wissensbasis

Projektarbeit: Constraintbasierte Vervollständigungstechniken: Ordnungsconstraints

Diplomarbeit: Integration von Entscheidungsverfahren in den induktiven Theorembeweiser QuodLibet

zurück