Técnicas avanzadas de compilación para programación lógica : (Registro nro. 4520)
[ vista simple ]
| 000 -CABECERA (24) | |
|---|---|
| Campo de control interno | 01352nmm a22002294a 4500 |
| 003 - IDENTIFICADOR DE CONTROL | |
| Campo control | BOLpUSFA |
| 005 - FECHA Y HORA DE CATALOGACION | |
| Campo de control | 20200828022413.0 |
| 008 - ELEMENTOS DE LONGITUD FIJA - INFORMACIÓN GENERAL | |
| Campo de control de longitud fija | t es ggqgqd d0 spa d |
| 041 ## - Código de idioma (R) | |
| Código de lengua del texto/banda sonora o título independiente (R) | spa |
| 044 ## - Código de país de la publicación | |
| Codigo ISO de pais | ES |
| 100 ## - Autor Personal | |
| Autor Personal | Morales Caballero, José Francisco |
| 245 ## - Titulo | |
| Titulo | Técnicas avanzadas de compilación para programación lógica : |
| Subtitulo | tesis doctoral |
| Medio | [recurso electrónico] |
| 260 ## - Editorial | |
| Ciudad | Madrid: |
| Nombre de la Editorial | Universidad Politécnica de Madrid. Facultad de Informática |
| Fecha | 2010. |
| 300 ## - Descripcion | |
| Extension | 237 p.: |
| Otros detalles fisicos | graf. |
| 520 ## - Resumen | |
| Resumen | Los lenguajes de programación declarativos permiten expresar programas en un lenguaje que es más cercano al problema que a los detalles de implementación. A pesar de la generosidad de esta definición, Lloyd propone una noción más clara de la declaratividad, definiendo los programas como teorías en una lógica adecuada y la computación deducción en base a la teoría.<br/>Prolog es uno de los lenguajes de programación del paradigma lógico más importantes, cuya teoría es la de la la deducción lógica. |
| 650 ## - Temas - Descriptores | |
| Temas - Descriptores | Lógica |
| 650 ## - Temas - Descriptores | |
| Temas - Descriptores | Aplicaciones de la lógica |
| 650 ## - Temas - Descriptores | |
| Temas - Descriptores | Ciencia de los ordenadores |
| 650 ## - Temas - Descriptores | |
| Temas - Descriptores | Logicales de ordenadores |
| 856 ## - URL - Ubicacion | |
| URI/URL | <a href="http://biblioteca.usfa.edu.bo/cgi-bin/koha/opac-retrieve-file.pl/?id=dcd98df029cd355b43f748fc1ef292a5">http://biblioteca.usfa.edu.bo/cgi-bin/koha/opac-retrieve-file.pl/?id=dcd98df029cd355b43f748fc1ef292a5</a> |
| 942 ## - ELEMENTOS DE KOHA | |
| Esquema de Clasificaci | |
| Tipo de Documento | Documentos Electrónicos |
| Catalogador | OPW |
No hay ítems disponibles.
