INTELIGENCIA ARTIFICIALAPRENDIZAJE AUTOMATICOCODIGOS DE CORRECCION (TEORIA DE LA INFORMACION)DEMOSTRACION AUTOMATICA DE TEOREMASFORMACION AUTOMATICA DE HIPOTESISINTELIGENCIA COMPUTACIONALPROGRAMACION HEURISTICARAZONAMIENTO CUALITATIVOSISTEMAS DE CONTROL ADAPTATIVOSTRADUCCION MECANICACIBERNETICACOMPUTADORAS NEURALESSIMULACION CON COMPUTADORAS DIGITALESMETODOS DE SIMULACIONBIONICACIENCIA DEL CONOCIMIENTOMÀQUINAS LÒGICASPROCESAMIENTO ELECTRONICO DE DATOSTEORIA DE LAS MAQUINASCerebros electrónicos