Conferencia sobre IA abre celebraciones de los 25 años de la Academia de Profesores Eméritos
El expositor entregó antecedentes de estas tecnologías, cuyo nombre fue usado por primera vez a fines de los años 50 para designar a un conjunto de programas destinados a probar teoremas de forma automática.