automated reasoning - Spanisch Englisch Wörterbuch