effectively computable function - Spanisch Englisch Wörterbuch