3 works on record
Weltliteratur auf dem Index
Theorem Proving in Higher Order Logics
Wissensbasierte Überwachung und Fehlerdiagnose komplexer Prozessanalysensysteme