Sciweavers

KI
2007
Springer

Early History and Perspectives of Automated Deduction

13 years 9 months ago
Early History and Perspectives of Automated Deduction
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. Formal logic is still often looked upon as a kind of esoteric doctrine. Evert W. Beth 1958 The fundamental scientific progress lies in the area of logic and the cognitive sciences. Pierre Papon 2006
Wolfgang Bibel
Added 08 Jun 2010
Updated 08 Jun 2010
Type Conference
Year 2007
Where KI
Authors Wolfgang Bibel
Comments (0)