Articoli pubblicati da: Sais, Lakhdar


Risultato della ricerca: ( 1 titolo )
Learning from conflicts in propositional satisfiability
4OR (Berlin) - 2012
visualizza dettagli
Scheda completa: full text, export citazione, ACNP, libri su BNCF
L'Associazione
Associarsi a ESSPER
Biblioteche aderenti
Comitato di coordinamento
Statuto
I numeri di ESSPER
Documentazione
Appuntamenti ESSPER
Collaborazioni
Accordi con editori
Programma gestionale
Le Biblioteche aderenti
foto biblioteca

Università degli studi [Macerata] : Dipartimento di Istituzioni Economiche e Finanziarie : Biblioteca
Via Don Minzoni, 17
62100 - Macerata