Theorem Proving in Higher Order LogicsKlaus Schneider, Jens Brandt · First published 2007Open the Tome
Wissensbasierte Überwachung und Fehlerdiagnose komplexer ProzessanalysensystemeJens Brandt · First published 1994Open the Tome
