Autor*in folgen
Christoph Walther
Christoph Walther
Christoph Walther (born 9 August 1950) is a German computer scientist, known for his contributions to automated theorem proving. He is Professor emeritus at Darmstadt University of Technology.

Alle Bücher