Atti del Terzo Convegno Nazionale sulla Programmazione Logica – GULP 1988

AttiTerzoConvegno_Pag1

Elenco dei lavori e PDF Rilassamento in reti di vincoli e metaprogrammazione logica. Francesca Rossi e Ugo Montanari. 1988-pp013-030 Temporal Reasoning in a Hybrid System. M. Poesio 1988-pp031-047 LOGICHE NON :MONOTONE SU BASE INTUIZIONISTA Gisèle Fischer Servi 1988-pp049-064 STRUTTURE DI SIMULAZIONE COME AMBIENTE SEMANTICO PER UN CALCOLO…

III. GULP (1988), Rome (Italy)

III. GULP (1988)[OPAC], Rome (Italy) GULP 88: Terzo Convegno Nazionale sulla Programmazione Logica Roma, 11-13 maggio 1988, Aula magna dell’università degli Studi di Roma “La Sapienza” Organizzato da Dipartimento di Informatica e Sistemistica dell’Università degli Studi di Roma “La Sapienza”…

GULP Bollettino 3

Ecco la scansione del Bollettino numero 3 con l’articolo “la logica della negazione” di Gabriele Lolli. Attualissimo anche nell’era di ASP e un contributo “del socio” Antonio Vincenzi. PDF del Bollettino 3 (40 pagine)

GULP Bollettino 2

Grazie alla costanza nella catalogazione di materiale scientifico da parte di Eugenio Omodeo siamo riusciti a reperire i primi “Bollettini GULP”. Questa è la scansione del numero 2, con l’editoriale del presidente Giorgio Levi e diversi contributi:   BOLLETTINO 2…

II. GULP (1987),Torino (Italy)

II. GULP (1987) [OPAC],Torino (Italy) Secondo Convegno Nazionale sulla Programmazione Logica Torino 13-15 maggio 1987 Sede del convegno: Centro Incontri – Cassa di Risparmio di Torino C.so Stati Uniti, 23 Presidente del Convegno Barbara Demo (Dip. di Informatica – Torino)…

GULP Bollettino 1

Grazie alla costanza nella catalogazione di materiale scientifico di Eugenio Omodeo siamo riusciti a reperire i primi “Bollettini GULP”. Questa è la scansione del numero 1, con l’editoriale del presidente Giorgio Levi: Bollettino 1 in PDF(29 pagine)