With this talk we want to pay tribute to the late Professor Gerd Veenker who deserves the historic credit of initiating the formation of the German AI community. We present a summary of his scientific contributions in the context of the early approaches to theorem proving and, against this background, we point out future perspectives of Automated Deduction. © Springer-Verlag Berlin Heidelberg 2007.
CITATION STYLE
Bibel, W. (2007). Early history and perspectives of automated deduction. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4667 LNAI, pp. 2–18). Springer Verlag. https://doi.org/10.1007/978-3-540-74565-5_2
Mendeley helps you to discover research relevant for your work.