👤

Norbert Eisinger

3 books

Books by Norbert Eisinger

Design Patterns für mathematische Beweise
Design Patterns für mathematische Beweise
2017
Completeness, confluence, and
Completeness, confluence, and related properties of clause graph resolution
1988
Studien- und Forschungsführer Künstliche Intelligenz
Studien- und Forschungsführer Künstliche Intelligenz
1987