Atti

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…