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
by Koppmann, Karl, 1839-1905.
Published 1876
Other Authors: ';
“...Walther, Christoph, 1841-1914....”Published 1876
Book
2
by Koppmann, Karl, 1839-1905
Published 1876
Other Authors: ';
“...Walther, Christoph, 1841-1914...”Published 1876
Book
3
by Koppmann, Karl, 1839-1905.
Published 1879
Other Authors: ';
“...Walther, Christoph, 1841-1914....”Published 1879
Book
4
Published 1879
Other Authors: ';
“...Walther, Christoph, 1841-1914....”
Book
5
6
by Lübben, August, 1818-1884.
Published 1888
Other Authors: ';
“...Walther, Christoph, 1841-1914,...”Published 1888
Book
7
by Lübben, August 1818-1884
Published 1888
Other Authors: ';
“...Walther, Christoph 1841-1914...”Published 1888
Book
8
by Lübben, August 1818-1884
Published 1888
Other Authors: ';
“...Walther, Christoph 1841-1914...”Published 1888
Book