Informatiker und Philosoph - UNIKATH 2/2002

Jahresbericht der Fakultät für Informatik 2001 (S. 38-42, 50, 196, 237, 249, 258-263, 267, 278, 297, 299)

Wikipedia-Artikel über Wolfram Menzel

Nachruf

ILKD: Institut für Logik, Komplexität und Deduktionssysteme

KIT - Institut für Theoretische Informatik

Deutsch-Lektüre einmal anders