|
|
|
|
| LEADER |
01964nam a2200421 i 4500 |
| 001 |
ELB89015 |
| 003 |
FlNmELB |
| 006 |
m o d | |
| 007 |
cr cnu|||||||| |
| 008 |
161010s2009 sp a ob 000 0 spa d |
| 020 |
|
|
|z 9788469227701
|
| 035 |
|
|
|a (MiAaPQ)EBC4626696
|
| 035 |
|
|
|a (Au-PeEL)EBL4626696
|
| 035 |
|
|
|a (CaPaEBR)ebr11245487
|
| 035 |
|
|
|a (OCoLC)1105860603
|
| 040 |
|
|
|a FINmELB
|b spa
|e rda
|c FINmELB
|
| 050 |
|
4 |
|a QA76.62
|b V124 2009
|
| 080 |
|
|
|a 004.42.047
|
| 082 |
0 |
|
|a 005.11
|2 23
|
| 100 |
1 |
|
|a Vado Vírseda, Rafael del.
|
| 245 |
1 |
0 |
|a Un esquema de programación lógicofuncional con restricciones: marco teórico y aplicación a la depuración declarativa :
|b marco teórico y aplicación a la depuración declarativa /
|c Rafael de Vado Vírseda ; dirigida por, Mario Rodríguez Artalejo.
|
| 264 |
|
1 |
|a Madrid :
|b Universidad Complutense de Madrid,
|c 2009.
|
| 300 |
|
|
|a 1 recurso en línea (386 páginas) :
|b ilustraciones
|
| 336 |
|
|
|a texto
|b txt
|2 rdacontent/spa
|
| 337 |
|
|
|a computadora
|b c
|2 rdamedia/spa
|
| 338 |
|
|
|a recurso en línea
|b cr
|2 rdacarrier/spa
|
| 502 |
|
|
|a Tesis (Doctor)--Universidad Complutense de Madrid, Facultad de Ciencias Matemáticas, Departamento de Sistemas Informáticos y Computación, 2009.
|
| 504 |
|
|
|a Contiene bibliografía.
|
| 588 |
|
|
|a Descripción basada en recurso en línea; Título de la página del título en PDF (e-libro, visto November 10, 2016).
|
| 590 |
|
|
|a Recurso electronico. Santa Fe, Arg. : e-libro, 2016. Disponible via World Wide Web. El acceso puede ser limitado para las bibliotecas afiliadas a e-libro.
|
| 650 |
|
0 |
|a Functional programming (Computer science)
|
| 650 |
|
0 |
|a Logic programming.
|
| 650 |
|
4 |
|a Informática.
|
| 650 |
|
4 |
|a Programación informática.
|
| 655 |
|
4 |
|a Libros electrónicos.
|
| 700 |
1 |
|
|a Rodríguez Artalejo, Marío,
|e director.
|
| 797 |
2 |
|
|a e-libro, Corp.
|
| 856 |
4 |
0 |
|u https://elibro.net/ereader/uninicaragua/89015
|