Tesi di Laurea presso l'Università di Cesena
-
CANDIDATO: Daniela Fogli
TITOLO TESI: Insiemi e Multi-insiemi nel linguaggio di programmazione
logica Goedel
DATA LAUREA: 1993
VOTAZIONE: 110/110 e lode
-
CANDIDATO: Andrea Magnani
TITOLO TESI: Tecniche di compilazione per un linguaggio logico con
insiemi
DATA LAUREA: 1993
DA COMPLETARE