Negation in logic programs : Is it necessary two connectives?
Material type:
Article
In:
Congreso Argentino de Ciencias de la Computación (3er : 1997 : La Plata) - Conferencia Latinoamericana de Programación Funcional (2ª : 1997 : La Plata) - Workshop de Aspectos Teóricos de Inteligencia Artificial (4º : 1997 : La Plata) - Encuentro de Investigadores del Consorcio Iberoamericano para Educación en Ciencia y Tecnología (ISTEC) (1er : 1997 : La Plata) - Red de Universidades Nacionales con Carreras en Informática (RedUNCI) - Escuela Internacional de Informática CACIC (1ª : 1997 : La Plata) - Jornadas de la Red Universitaria Argentina (3ª : 1997 : La Plata) - Universidad Nacional de La Plata - Ateneo de Profesores Universitarios de Computación (5º : 1997 : La Plata) CACIC 97
| Item type | Home library | Call number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|
Capítulo de libro
|
Biblioteca de la Facultad de Informática | A.0.2 CAC97 v.1 (Browse shelf(Opens below)) | No corresponde |
Browsing Biblioteca de la Facultad de Informática shelves Close shelf browser (Hides shelf browser)
| A.0.2 CAC97 v.1 Construction of revisions by explanations | A.0.2 CAC97 v.1 Generalización de un algoritmo de inferencia basado en gramáticas de grafos | A.0.2 CAC97 v.1 Teoría de los juegos y selección de teorías | A.0.2 CAC97 v.1 Negation in logic programs : Is it necessary two connectives? | A.0.2 CAC97 v.1 Un sistema ampliado de desplegado/plegado para la síntesis de programas funcionales | A.0.2 CAC97 v.1 Integração ParTy-Granlog : Interpretação abstrata aplicada a paralelização de programas em Lógica | A.0.2 CAC97 v.1 Construcción y optimización de programas en Fork Álgebras |