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 2009 12th international conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009 : proceedings
Export / Download
PDF
Excel
Unimarc (binario)
Marc XML
Marc (testo)
Theory and applications of satisfiability testing - SAT 2009
ID:
4203316
Creatori:
(1763066) Kullmann, Oliver
...
Persona
Opera