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.
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. (en)
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. (en)