Noticias sobre APLICACIONES DE LOGICA SIMBOLICA