automated reasoning - Turco Inglés Diccionario