Análisis de la semántica declarativa trivaluada GS para la programación en lógica rebatible básica

Document

Análisis de la semántica declarativa trivaluada GS para la programación en lógica rebatible básica

Cecchi, Laura et al · SEDICI UNLP · 2000

Acceso abierto al texto completo

Lectura rápida. Revisá los datos básicos del recurso y luego accedé al contenido desde el botón principal. En esta ficha solo se muestra la información necesaria para identificar la obra, citarla y abrirla.

Autor / responsable

Cecchi, Laura et al

Editorial

SEDICI UNLP

Año

2000

Idioma

Español

Acceso al recurso

Entrá al contenido desde la opción principal o elegí otra fuente disponible.

SEDICI UNLP SEDICI UNLP OAI-PMH

Entrar por SEDICI UNLP

Acceso principal

Acceso abierto al texto completo

Texto completo identificado como acceso abierto.

Abrir texto

Resumen

Descripción general del contenido del recurso.

El objetivo de este trabajo es presentar un análisis del conjunto de las consecuencias de un programa lógico rebatible. Como resultado inmediato surge un teorema en el que se prueba que la semántica GS es sensata y completa con respecto a la semántica operacional. Eje: Aspectos teóricos de inteligencia artificial Red de Universidades con Carreras en Informática (RedUNCI)

Cómo citar

Elegí el formato que necesitás y copiá la referencia al portapapeles.

APA 7

Cecchi, L. E. A. (2000). Análisis de la semántica declarativa trivaluada GS para la programación en lógica rebatible básica. SEDICI UNLP. http://sedici.unlp.edu.ar/handle/10915/22098

MLA

Cecchi, Laura et al. Análisis de la semántica declarativa trivaluada GS para la programación en lógica rebatible básica. SEDICI UNLP, 2000. http://sedici.unlp.edu.ar/handle/10915/22098.

Chicago

Cecchi, Laura et al. 2000. Análisis de la semántica declarativa trivaluada GS para la programación en lógica rebatible básica. SEDICI UNLP. http://sedici.unlp.edu.ar/handle/10915/22098.

Harvard

Cecchi, L. E. A. 2000, Análisis de la semántica declarativa trivaluada GS para la programación en lógica rebatible básica, SEDICI UNLP, available at: http://sedici.unlp.edu.ar/handle/10915/22098 [Accessed 7 Aug. 2026].

Compartir e imprimir

Guardá la ficha, copiá su enlace permanente o imprimila como PDF.

Exportar referencia

Si usás un gestor bibliográfico, podés exportar el registro en los formatos más comunes.

RIS BibTeX

Detalles del recurso

Información bibliográfica útil para confirmar que se trata del material correcto.

Título: Análisis de la semántica declarativa trivaluada GS para la programación en lógica rebatible básica

Autor / colaboradores: Cecchi, Laura et al

Editorial: SEDICI UNLP

Año de publicación: 2000

Idioma: Español

Materias

Explorá otros recursos relacionados a partir de estas materias.

Ciencias Informáticas; Semantics; Extensiones de la Programación en Lógica; Semántica Declarativa de Extensiones de la Programación en Lógica; ARTIFICIAL INTELLIGENCE; Semántica de Juegos; Sistemas Argumentativos