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 mini-DML, il progetto mini-DML sviluppato e mantenuto dalla cellula Math-Doc di 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