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
Published: 1980
2
Published: 2010.
3
Published: [2018]
Superior document: Title is part of eBook package: De Gruyter DG Plus DeG Package 2019 Part 1
Links: Get full text; Get full text; Cover
4
Published: [2010]
Superior document: Title is part of eBook package: De Gruyter DGBA Physical Sciences 2000 - 2014
Links: Get full text; Get full text; Cover