Nicolini, Enrica
Procedure di decisione combinate per la soddisfacibilità di vincoli
Dottorato in Matematica conseguito nel 2008 presso l'Università di Milano. Ciclo 19.
Relatore/i: Professor Silvio Ghilardi (Università degli Studi di Milano)
Sunto della tesi (pubblicato sul Bollettino)
| Home -> Tesi di Dottorato -> 2008 -> Enrica Nicolini |
La collezione può essere raggiunta anche a partire da EuDML, la biblioteca digitale matematica europea, e da Geodesic, progetto sviluppato e mantenuto da Math-Doc, Grenoble.
Per suggerimenti o per segnalare eventuali errori, scrivete a zelati at unina dot it
Con il contributo del Ministero per i Beni e le Attività Culturali