Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

Christoph Walther | lit.salon

Author

Christoph Walther

11 works

1987–2018 across 8 dated works

No biography is available yet.

Start with

A many-sorted calculus based on resolution and paramodulation1987
Mittelniederdeutsches Handwörterbuch.1990
With August Lübben
Automatisierung von Terminierungsbeweisen1991
Semantik und Programmverifikation2001

Books

8 works

Featured (8)Featured (8)All (11)All (11)

Search booksSort books

A many-sorted calculus based on resolution and paramodulation1987
2 editions
shelves
0
reviews
0
lists
0
quotes
0
Zentrale Gedächtnislehren des Spätmittelalters: Eine Auswahl Von Traktaten Mit Übersetzung und Kommentar2018
With Sabine Seelbach, Angelika Kemper
3 editions
shelves
0
reviews
0
lists
0
quotes
0
Automatisierung von Terminierungsbeweisen1991
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Semantik und Programmverifikation2001
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Mittelniederdeutsches Handwörterbuch Nach Dem Tode des Verfassers Vollendet Von Christoph Walther2018
With August Lübben
6 editions
shelves
0
reviews
0
lists
0
quotes
0
Semantik und Programmverifikation2012
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Jakob Fischbacher und die Bayernpartei: biografische Studien 1886 bis 19722006
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Mittelniederdeutsches Handwörterbuch.1990
With August Lübben
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 Christoph Walther.

The conversation is still open.

There is no public salon activity to show for Christoph Walther yet.