Künstliche Intelligenz Frühjahrsschule (Springer, 1982)