Christoph Walther
原名：
Christoph Walther
Born：
(1950-08-09) 9 August 1950 (age 75)
Thesis：
A many-Sorted Calculus Based on Resolution and Paramodulation (1984)
Known for：
Walther recursion
Alma mater：
Karlsruhe University
Doctoral advisor：
Peter Deussen
个人简介
暂无 Christoph Walther 的个人简介。
