Pruebas interesantes para una lógica multi-modal multi-agente : (Record no. 56224)

MARC details
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
Holdings
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