next up previous
Next: Completitud de la resolución Up: Resolución: un procedimiento de Previous: Tratamiento de la igualdad:

Estrategias de resolución

Estrategias para guiar la búsqueda hacia una prueba



Alvaro Barreiro Garcia
Thu Jul 18 18:35:01 MET DST 1996