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

[4]

1965 ...

1970 ...

1990 ...

2000 ...

External Links

References

Up one level