News Help Institutional access
Back to results
Bibliographic record · Consultation and access
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

Open-access full text
Quick overview. Review the resource’s basic details, then access the content using the main button. This page shows only the information needed to identify, cite, and open the work.
Author / responsible party
Cecchi, Laura et al
Publisher
SEDICI UNLP
Year
2000
Language
Spanish

Resource access

Open the content from the main option or choose another available source.

SEDICI UNLP SEDICI UNLP OAI-PMH
Entrar por SEDICI UNLP
Main access

Open-access full text

Texto completo identificado como acceso abierto.
Open text

Summary

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)

How to cite

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 8 Aug. 2026].

Share and print

Save the record, copy its permanent link, or print it as a PDF.

Export reference

You can export the record in common formats for use in a reference manager.

RIS BibTeX

Resource details

Bibliographic information to help confirm that this is the correct material.

Title
Análisis de la semántica declarativa trivaluada GS para la programación en lógica rebatible básica
Author / contributors
Cecchi, Laura et al
Publisher
SEDICI UNLP
Publication year
2000
Language
Spanish

Subjects

Explore related resources through these subjects.

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
Copied