Norbert EisingerBooksDesign Patterns für mathematische BeweiseCompleteness, confluence, and related properties of clause graph resolutionStudien- und Forschungsführer Künstliche IntelligenzReasoning webStudien- und Forschungsführer Künstliche IntelligenzAuthor data: Open Library