automated reasoning - Türkisch Englisch Wörterbuch