SMART Systems (Vorlesung: KI & XPS) zSystems based on Symbol-Manipulating Automated Reasoning Techniques zVoraussetzungen: yAlgorithmen und Datenstrukturen.