computational theorems - Turco Inglés Diccionario