top
Biblioteche
Info
Contattaci
Persona
Opera
Persona
Opera
Persona/Opera
Vai a Pubblicazioni
Opera/Pubblicazioni
Espandi
Riduci
Pubblicazioni
Theory and applications of satisfiability testing--SAT 2006 9th international conference, Seattle, WA, USA, August 12-15, 2006 : proceedings
Export / Download
PDF
Excel
Unimarc (binario)
Marc XML
Marc (testo)
Theory and applications of satisfiability testing--SAT 2006
ID:
4196611
Creatori:
(1193224) Biere, Armin
...
(1758413) Gomes, Carla
...
Persona
Opera