Las técnicas de demostración automática de teoremas consisten en aplicar métodos computacionales para demostrar teoremas.