Automatisierung von Terminierungsbeweisen (Künstliche Intelligenz) (German Edition): Hrsg. v. Wolfgang Bibel | Myboeken