Complexity measures for resolution 

Esteban Ángeles, Juan Luis (Date of defense: 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 fórmulas proposicionales. ...