Design Patterns für mathematische BeweiseHans Jürgen Ohlbach, Norbert Eisinger · First published 2017Open the Tome
Completeness, confluence, and related properties of clause graph resolutionNorbert Eisinger · First published 1988Open the Tome
Studien- und Forschungsführer Künstliche IntelligenzW. Bibel, Norbert Eisinger, Josef Schneeberger, Jörg Siekmann · First published 1987Open the Tome
