Gerd Veenker

From Chessprogramming wiki
Jump to: navigation, search

Home * People * Gerd Veenker

Gerd Veenker, (1936 - 1996)
was a German mathematician, computer scientist, AI researcher, and professor for CS and AI at University of Bonn [1]. He received his Ph.D. in 1967 on first-order theorem proving at University of Tübingen, where his advisors include Karl Longin Zeller. Already during the early 60s in Tübingen, along with his fellow Frieder Schwenkel, Gerd Veenker developed a particular interest in non-numeric computation such as game playing and theorem proving [2]. In 1965, he published a paper on a chess program to find a mate in two or three moves [3], but his focus remained on theorem proving where his scientific contributions are in the field of automatic deduction.

Selected Publications


1965 ...

1970 ...

1990 ...

2000 ...

External Links


Up one level