TY - THES U1 - Dissertation / Habilitation A1 - Peters, Martin T1 - Regelbasiertes Reasoning auf massiv paralleler Hardware Y2 - 2015 N1 - Dissertation zur Erlangung des akademischen Grades eines Doktors der Naturwissenschaften (Dr. rer. nat.) am Fachbereich Elektrotechnik/Informatik der Universität Kassel SP - x, 148 S1 - x, 148 ER -