| 000 | 00621nam a2200205 4500 | ||
|---|---|---|---|
| 001 | 7709 | ||
| 003 | DAR - Campus | ||
| 005 | 20210520153009.0 | ||
| 008 | 091222s____|||||||||||||||||||||||||d | ||
| 040 | _aDAR - Campus | ||
| 041 | _a*** | ||
| 044 | _aArg. | ||
| 100 | 1 |
_aPÉREZ, Federico _eAutor |
|
| 245 | 1 | 0 | _aDesarrollo de algoritmos para determinar si una fórmula es un teorema del sistema. Sistema K de Kleene |
| 260 |
_aRafaela, _c2009. |
||
| 300 | _a16 páginas | ||
| 650 | 4 | _aCIENCIA Y TECNOLOGIA DE LOS ORDENADORES. INFORMATI | |
| 650 | 4 | _aINGENIERIA EN INFORMÁTICA | |
| 650 | 4 | _aLOGICA Y SEMANTICA FORMALES | |
| 999 |
_c34569 _d34569 |
||