Gerd+Veenker

toc
 * Home * People * Gerd Veenker**

was a German mathematician, computer scientist, AI researcher, and professor for CS and AI at [|University of Bonn]. 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. In 1965, he published a paper on a chess program to find a mate in two or three moves, but his focus remained on theorem proving where his scientific contributions are in the field of [|automatic deduction].
 * Gerd Veenker**, (1936 - 1996)

=Selected Publications=
 * Gerd Veenker (**1965**). //[|Ein Programm zur Lösung von Schachaufgaben]//. [|Elektronische Rechenanlagen, Vol. 7], No. 1 (German)
 * Gerd Veenker (**1967**). //Beweisverfahren für den Prädikatenkalkül//. Ph.D. thesis, [|University of Tübingen], advisor Karl Longin Zeller (German)
 * Gerd Veenker (**1967**). //Beweisalgorithmen für die Prädikatenlogik//. [|Computing, Vol. 2], No. 3 (German)
 * [|Geerd-Rüdiger Hoffmann], Gerd Veenker (**1971**). //The unit-clause proof procedure with equality//. [|Computing, Vol. 7], Nos. 1-2
 * Byoung-Tak Zhang, Gerd Veenker (**1991**). //[|Neural networks that teach themselves through genetic discovery of novel examples]//. [|IEEE International Joint Conference on Neural Networks]
 * Wolfgang Bibel (**2007**). //Early History and Perspectives of Automated Deduction//. in Joachim Hertzberg, Michael Beetz, Roman Englert (Eds.) (**2007**). //[|KI 2007: Advances in Artificial Intelligence: 30th Annual German Conference]//. [|LNAI] 4467, [|Springer], [|pdf]

=External Links=
 * [|The Mathematics Genealogy Project - Gerd Veenker]

=References= =What links here?= include page="Gerd Veenker" component="backlinks" limit="40"
 * Up one level**