Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

Norbert Eisinger | lit.salon

Author

Norbert Eisinger

5 works

1988–2017 across 3 dated works

No biography is available yet.

Start with

Completeness, confluence, and related properties of clause graph resolution1988
Reasoning web first international summer school 2005, Msida, Malta, July 25-29, 2005 ; tutorial lectures2005
Design Patterns für mathematische Beweise : Ein Leitfaden insbesondere für Informatiker2017
With Hans Jürgen Ohlbach

Books

5 works

Featured (3)Featured (3)All (5)All (5)

Search booksSort books

Reasoning web first international summer school 2005, Msida, Malta, July 25-29, 2005 ; tutorial lectures2005
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Completeness, confluence, and related properties of clause graph resolution1988
2 editions
shelves
0
reviews
0
lists
0
quotes
0
Design Patterns für mathematische Beweise : Ein Leitfaden insbesondere für Informatiker2017
With Hans Jürgen Ohlbach
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Studien- und Forschungsführer Künstliche Intelligenz1987
With W. Bibel, Josef Schneeberger, Jörg Siekmann
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Studien- und Forschungsführer Künstliche Intelligenz1987
With W. Bibel, Josef Schneeberger, Jörg Siekmann
1 edition
shelves
0
reviews
0
lists
0
quotes
0

End of results

Readers in conversation

Around the salon

Public notes, reviews, lists, and conversations around Norbert Eisinger.

The conversation is still open.

There is no public salon activity to show for Norbert Eisinger yet.