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
1
Cover Image
by Walther, Christoph
Published 2023
Book
Save to List
Saved in:
2
Cover Image
Germanica
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search —