automated reasoning - Francés Inglés Diccionario