Varios de lógica de predicados.pdf
6 Sep 200706/09/07 a las 19:37 hrs.2007-09-06 19:37:06 por 
Cristián Serpell
Reportar Archivo
| Descripción | Estas diapositivas las mandó Renato, explican mejor lo de la "Skolemización". Puede que no haya quedado claro en la clase auxiliar. |
|---|---|
| Categoría | Auxiliar |
| Última Modificación | 6 Sep 200706/09/07 a las 19:37 hrs.2007-09-06 19:37:06 |
| Compartir |
