International workshop on Logics for Component Configuration (LoCoCo 2010), Edinburgh, Scotland (UK), tenuto in occasione di SAT 2010 / Mancini, Toni. - (2010). (Intervento presentato al convegno LoCoCo 2010 tenutosi a Edinburgh, Scotland (UK)).
International workshop on Logics for Component Configuration (LoCoCo 2010), Edinburgh, Scotland (UK), tenuto in occasione di SAT 2010.
MANCINI, Toni
2010
File allegati a questo prodotto
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.