Guardado en:
| Formato: | Libro |
|---|---|
| Lenguaje: | Inglés |
| Materias: | |
| Aporte de: | Registro referencial: Solicitar el recurso aquí |
| LEADER | 00642nam a2200241 4500 | ||
|---|---|---|---|
| 001 | 027877 | ||
| 003 | arbauncb | ||
| 008 | 150429s us g 000 0 eng d | ||
| 005 | 20171018130834.0 | ||
| 040 | |a AR-BaUNCB |c AR-BaUNCB | ||
| 020 | |a 0444880747 | ||
| 082 | 0 | 4 | |a 001.6 |
| 653 | |a Programación lógica | ||
| 653 | |a Autómatas | ||
| 653 | |a Semántica-computación | ||
| 653 | |a Modelos formales | ||
| 653 | |a Lenguajes formales | ||
| 653 | |a Complejidad | ||
| 650 | 7 | |a Computación |2 mpirdes | |
| 650 | 7 | |a Lenguajes de programación |2 mpirdes | |
| 650 | 7 | |a Algoritmos |2 unescot | |
| 501 | |a V.2: Formal models and semantics.- | ||
| 999 | |c 27789 |d 27789 | ||