Articoli pubblicati da: Hamadi, Youssef


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

Centro di documentazione INAPP [Roma] : Biblioteca
Corso d'Italia 33
00198 - Roma