Descubre las investigaciones pioneras sobre lógica automática y razonamiento formal recopiladas en este volumen de la octava conferencia IJCAR 2016, con contribuciones de expertos internacionales y análisis profundos de algoritmos y sistemas inteligentes.