Your search - Walther, Christoph - did not match any resources.

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. Provided by Wikipedia