کتاب های Christoph Walther (auth.)
Automatisierung von Terminierungsbeweisen
Christoph Walther (auth.), Wolfgang Bibel (eds.), 1991
Semantik und Programmverifikation
Prof. Dr. rer. nat. habil. Christoph Walther (auth.), 2001
A Many-Sorted Calculus Based on Resolution and Paramodulation
Christoph Walther, 1987
