Norbert Eisinger

Identifiers

Open LibraryOL764359A

Top Subjects

Artificial intelligence (1)
Graph theory (1)
World Wide Web (1)
Ontologie <Wissensverarbeitung> (1)
Semantic Web (1)
Information systems (1)
Terminologische Logik (1)

Books by Norbert Eisinger

Total count: 4

Studien- und Forschungsführer Künstliche Intelligenz

Springer Berlin / Heidelberg1987-01-01
Completeness, confluence, and related properties of clause graph resolution

[s.n.]1988-01-01
Reasoning webfirst international summer school 2005, Msida, Malta, July 25-29, 2005 ; tutorial lectures

Springer2005-01-01
Design Patterns für mathematische BeweiseEin Leitfaden insbesondere für Informatiker

Springer Vieweg2017-09-05