Una semántica ejecutable en lógica de reescritura para programación espacial concurrente por restricciones (SCCP) (Registro nro. 19894)
[ vista simple ]
| 000 -CABECERA | |
|---|---|
| Campo de control de longitud fija | 01888nmm a2200217 a 4500 |
| 008 - CAMPO FIJO DE DESCRIPCIÓN FIJA--INFORMACIÓN GENERAL | |
| Campo de control de longitud fija | 160202e2016 ck ||||fq||d| 00| 0 spa d |
| 082 04 - NÚMERO DE LA CLASIFICACIÓN DECIMAL DEWEY | |
| Número de edición DEWEY | 23 |
| Número de clasificación Decimal | 006 |
| Número de documento (Cutter) | R763s TS |
| 100 1# - ENCABEZAMIENTO PRINCIPAL--NOMBRE PERSONAL | |
| Nombre de persona | Romero González, Miguel Ángel |
| 9 (RLIN) | 3344 |
| 245 00 - TÍTULO PROPIAMENTE DICHO | |
| Título | Una semántica ejecutable en lógica de reescritura para programación espacial concurrente por restricciones (SCCP) |
| Medio físico | [Recurso Electrónico] / |
| Mención de responsabilidad, etc. | Miguel Ángel Romero González |
| 260 ## - PUBLICACIÓN, DISTRIBUCIÓN, ETC (PIE DE IMPRENTA) | |
| Lugar de publicación, distribución, etc. | Bogotá (Colombia) : |
| Nombre del editor, distribuidor, etc. | Escuela Colombiana de Ingeniería Julio Garavito, |
| Fecha de publicación, distribución, etc. | 2017. |
| 300 ## - DESCRIPCIÓN FÍSICA | |
| Extensión | 45 paginas. |
| Otros detalles físicos | lustracionesi., gráficas. |
| 502 ## - NOTA DE TESIS | |
| Nota de Disertaciones | Tesis (Ingeniería de Sistemas) |
| 504 ## - NOTA DE BIBLIOGRAFÍA, ETC. | |
| Bibliografía, etc. | Incluye Bibliografía |
| 520 ## - RESUMEN, ETC. | |
| Nota de sumario, etc. | Este documento presenta una semántica ejecutable en lógica de reescritura<br/>para programación espacial concurrente por restricciones (del,<br/>inglés, Spatial Concurrent Constraint Programming, abreviado SCCP).<br/>SCCP es un modelo computacional utilizado para razonar acerca de<br/>información espacial y conocimiento distribuido entre los procesos de un sistema. En SCCP, los procesos simulan declaración de conocimiento común y consulta de información global, a su vez, cada agente en SCCP tiene su propio espacio de información, y entidades epistémicas tal como conocimiento o creencias son representadas en un sistema de restricciones paramétricas. La semántica ejecutable de SCCP se hace disponible a los usuarios y programadores a través de una herramienta que integra un lenguaje de programación y la especificación en Maude.<br/>Desde esta herramienta, además de simular programas en este lenguaje, también es posible verificar propiedades especificadas en lógica lineal temporal. |
| 650 #0 - ASIENTO SECUNDARIO DE MATERIA--TÉRMINO DE MATERIA | |
| 9 (RLIN) | 484 |
| Nombre de materia o nombre geográfico como elemento de entrada | LENGUAJE DE PROGRAMACIÓN |
| 650 #0 - ASIENTO SECUNDARIO DE MATERIA--TÉRMINO DE MATERIA | |
| 9 (RLIN) | 9612 |
| Nombre de materia o nombre geográfico como elemento de entrada | PROGRAMACIÓN LOGICA |
| 700 ## - ENCABEZAMIENTO SECUNDARIO--NOMBRE PERSONAL | |
| Nombre de persona | Rocha, Camilo |
| 9 (RLIN) | 38240 |
| Término relacionador | director. |
| 856 ## - ACCESO ELECTRÓNICO | |
| Identificador uniforme del recurso URI | http://repositorio.escuelaing.edu.co/handle/001/522 |
| 942 ## - ELEMENTOS KOHA | |
| Fuente de clasificación o esquema de ordenación en estanterías | |
| Koha tipo de item | TRABAJOS DE GRADO |
| Disponibilidad | Mostrar en OPAC | Fuente de clasificación o esquema | Tipo de Descarte | Estado | Localización permanente | Localización actual | Colección | Fecha adquisición | Proveedor | Forma de Adq | Precio normal de compra | Datos del ítem (Volumen, Tomo) | Préstamos totales | Signatura completa | Código de barras | Fecha última consulta | Número de ejemplar | Propiedades de Préstamo KOHA | Formato de Material | Programa Académico |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Préstamo Normal | Biblioteca Jorge Álvarez Lleras | Biblioteca Jorge Álvarez Lleras | Fondo general | 2017-02-01 | Ingeniería de Sistemas | Donación | 0.00 | Ej. 1 | 006 R763s TS | D000980 | 2017-02-07 | 1 | TRABAJOS DE GRADO | Colección General | Ingenieria Sistemas |
AK. 45 No. 205 - 59, Autopista Norte.
PBX: +60(1) 668 3600 - Bogotá.