Proseminar: Künstliche Intelligenz - Aufbau einer Wissensbasis
Projektarbeit: Constraintbasierte Vervollständigungstechniken: Ordnungsconstraints
Diplomarbeit: Integration von Entscheidungsverfahren in den induktiven Theorembeweiser QuodLibet
zurück