effectively computable function - German English Dictionary