C. W. · C. Walther · Christoph Friedrich Von Walther
| Titel | ISBN-13 | Erschei- nungsjahr | andere Autoren | |
|---|---|---|---|---|
| A Many-Sorted Calculus Based on Resolution and Paramodulation | 978-0-273-08718-2 | 1987 | ||
| Automatisierung von Terminierungsbeweisen | 978-3-528-04771-9 | 1991 | ||
| Semantik und Programmverifikation | 978-3-519-00336-6 | 2001 | ||
| Soziale Arbeit in der Psychiatrie: Lehrbuch | 978-3-88414-623-1 | 2016 | Jeannette Bischkopf · Daniel Deimel · Ralf-Bruno Zimmermann | |
Pearson Education · Psychiatrie Verlag · Teubner · Vieweg+Teubner Verlag