Atti

Proceedings Joint Conference on Declarative Programming – GULP-PRODE 1994

Table of contents from DBLP (Volume 1) and (Volume 2) Volume 1 GP1994-I-000-031 GP1994-I-032-061 GP1994-I-062-091 GP1994-I-092-125 GP1994-I-126-155 GP1994-I-156-187 GP1994-I-188-217 GP1994-I-218-251 GP1994-I-252-279 GP1994-I-280-325 GP1994-I-326-371 GP1994-I-372-402 GP1994-I-403-433 GP1994-I-434-480 Volume 2 GP1994-II-1-31 GP1994-II-32-59 GP1994-II-60-87 GP1994-II-88-117 GP1994-II-118-145 GP1994-II-146-175 GP1994-II-176-206 GP1994-II-206-237 GP1994-II-238-267 GP1994-II-268-281 GP1994-II-282-301 GP1994-II-308-335…

Atti del Terzo Convegno Nazionale sulla Programmazione Logica – GULP 1988

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…