Ara mostrant els elements 1-1 de 1
Esteban Ángeles, Juan Luis (Data de defensa: 2003-12-15)
Esta obra es una contribución al campo de la Complejidad de la Demostración, que estudia la complejidad de los sistemas de demostración en términos de los recursos necesarios para demostrar o refutar ...