|
|
|
|
| LEADER |
01683nam a22004217c 4500 |
| 001 |
178036 |
| 003 |
16308 |
| 005 |
20220701172644.0 |
| 008 |
161219e1995||||sp a gr 001 0 spa d |
| 999 |
|
|
|c 178036
|d 178036
|
| 020 |
|
|
|a 9780135187050
|
| 035 |
|
|
|a (arresunl)178036
|
| 040 |
|
|
|c arresunl
|a arresunl
|9 GM
|b spa
|e rda
|g GABRIEL MIRANDA
|
| 041 |
|
|
|a spa
|
| 044 |
|
|
|a sp
|
| 082 |
0 |
4 |
|a 511.3
|b K 36 t
|2 22
|
| 100 |
1 |
|
|a Kelley, Dean
|9 32258
|
| 245 |
1 |
0 |
|a Teoría de autómatas y lenguajes formales /
|c Dean Kelley ; Traducción: de María Luisa Díez Platas ; Revisión técnica: Luis Joyanes Aguilar
|
| 264 |
1 |
3 |
|a Madrid :
|b Prentice Hall,
|c 1995
|
| 300 |
|
|
|a xiii, 302 páginas
|b ilustraciones
|c 23 cm.
|
| 336 |
|
|
|2 rdacontent
|a texto
|b txt
|
| 337 |
|
|
|2 rdamedia
|a sin mediación
|b n
|
| 338 |
|
|
|2 rdacarrier
|a volumen
|b nc
|
| 500 |
|
|
|a Incluye referencias y bibliografía e índice analítico
|
| 505 |
0 |
|
|a Preliminares matemáticos -- Alfabetos y lenguajes -- Lenguajes regulares -- Lenguajes independientes del contexto -- Máquinas de Turing -- Máquinas de Turing y lenguajes -- Resolubilidad -- Introducción a la complejidad computacional
|
| 541 |
|
|
|c Compra
|
| 650 |
1 |
7 |
|9 13062
|a Lógica
|2 unescot
|
| 650 |
1 |
7 |
|9 12846
|a Lenguaje
|2 unescot
|
| 650 |
1 |
7 |
|a Matemáticas
|9 10785
|2 unescot
|
| 650 |
1 |
7 |
|a Programación
|9 14463
|2 unescot
|
| 650 |
1 |
7 |
|a Informática
|9 39568
|2 unescot
|
| 650 |
1 |
7 |
|a Lógica simbólica y matemática
|9 44574
|2 TESAMAT
|
| 653 |
1 |
0 |
|a Autómatas
|
| 653 |
1 |
0 |
|a Lenguajes formales
|
| 653 |
1 |
0 |
|a Teoría de las máquinas
|
| 700 |
1 |
|
|a Díez Platas, María Luisa
|9 32259
|e traductora
|
| 700 |
1 |
|
|a Joyanes Aguilar, Luis
|9 23796
|e revisor
|
| 942 |
|
|
|c 00001
|2 ddc
|