Pruebas interesantes para una lógica multi-modal multi-agente : (Record no. 56224)
[ view plain ]
000 -CABECERA | |
---|---|
campo de control de longitud fija | 01779nam a2200301 a 4500 |
003 - IDENTIFICADOR DEL NÚMERO DE CONTROL | |
campo de control | AR-LpUFIB |
005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN | |
campo de control | 20250311170431.0 |
008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL | |
campo de control de longitud fija | 230201s2015 ag rm 000 0 spa d |
024 8# - Otro identificador estandar | |
Número estándar o código | DIF-M7064 |
-- | 7247 |
-- | DIF006445 |
040 ## - FUENTE DE LA CATALOGACIÓN | |
Centro catalogador/agencia de origen | AR-LpUFIB |
Lengua de catalogación | spa |
Centro/agencia transcriptor | AR-LpUFIB |
100 1# - ENTRADA PRINCIPAL--NOMBRE DE PERSONA | |
Nombre de persona | Carbonari, Francisco Eduardo Daniel |
245 10 - MENCIÓN DE TÍTULO | |
Título | Pruebas interesantes para una lógica multi-modal multi-agente : |
Resto del título | un caso de estudio sobre completitud |
260 ## - PUBLICACIÓN, DISTRIBUCIÓN, ETC. | |
Fecha de publicación, distribución, etc. | 2015 |
300 ## - DESCRIPCIÓN FÍSICA | |
Extensión | 43 p. + |
Material acompañante/anejo | 1 DVD |
502 ## - NOTA DE TESIS | |
Nota de tesis | Tesina (Licenciatura en Informática) - Universidad Nacional de La Plata. Facultad de Informática, 2015. |
505 0# - NOTA DE CONTENIDO CON FORMATO | |
Nota de contenido con formato | Introducción -- El sistema en estudio -- El lenguaje -- La perspectiva semántica -- Satisfacción y validez para las fórmulas -- Características de los modelos para Lnorm -- Características de los modelos para Lnon -- La perspectiva sintáctica -- Los sistemas KLnorm y KLLR norm -- Los sistemas CLnon y CLLR non -- Completitud -- Preliminares -- El método del modelo canónico -- El modelo canónico para KLnorm -- KLLR es completo con respecto a MLR norm -- El modelo canónico para CLnon -- CLLR es completo con respecto a M LR non -- Extractos sobre decibilidad -- Decibilidad para KLnorm y KLLRnorm -- Decibilidad para CLnon y CLLR non -- Conclusiones y algo mas -- Bibliografía |
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA | |
Término de materia o nombre geográfico como elemento de entrada | SISTEMAS MULTIAGENTES |
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA | |
Término de materia o nombre geográfico como elemento de entrada | MATEMÁTICA DE LA COMPUTACIÓN |
653 ## - TÉRMINO DE INDIZACIÓN--NO CONTROLADO | |
Término no controlado | lógicas modales |
653 ## - TÉRMINO DE INDIZACIÓN--NO CONTROLADO | |
Término no controlado | semánticas tipo kripke |
653 ## - TÉRMINO DE INDIZACIÓN--NO CONTROLADO | |
Término no controlado | semánticas tipo neighbourhood |
653 ## - TÉRMINO DE INDIZACIÓN--NO CONTROLADO | |
Término no controlado | completitud |
653 ## - TÉRMINO DE INDIZACIÓN--NO CONTROLADO | |
Término no controlado | decibilidad |
653 ## - TÉRMINO DE INDIZACIÓN--NO CONTROLADO | |
Término no controlado | combinación de lógicas |
700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA | |
Nombre de persona | Smith, Clara Patricia , |
-- | Director/a |
856 40 - LOCALIZACIÓN Y ACCESO ELECTRÓNICOS | |
Identificador Uniforme del Recurso | <a href=" http://catalogo.info.unlp.edu.ar/meran/getDocument.pl?id=1193"> http://catalogo.info.unlp.edu.ar/meran/getDocument.pl?id=1193</a> |
942 ## - ELEMENTOS DE PUNTO DE ACCESO ADICIONAL (KOHA) | |
Tipo de ítem Koha | Tesis de posgrado |
Estado de retiro | Estado de pérdida | Estado dañado | Disponibilidad | Biblioteca permanente | Biblioteca actual | Fecha de adquisición | Número de inventario | Total de préstamos | Signatura topográfica completa | Código de barras | Fecha visto por última vez | Precio válido a partir de | Tipo de ítem Koha | Colección | Identificador Uniforme del Recurso |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Consulta en Sala | Biblioteca de la Facultad de Informática | Biblioteca de la Facultad de Informática | 11/03/2025 | DIF-04438 | TES 15/23 | DIF-04438 | 11/03/2025 | 11/03/2025 | Tesis de posgrado | ||||||
No corresponde | Biblioteca de la Facultad de Informática | Biblioteca de la Facultad de Informática | 11/03/2025 | 11/03/2025 | 11/03/2025 | Tesis de posgrado | Biblioteca digital | http://catalogo.info.unlp.edu.ar/meran/getDocument.pl?id=1193 |