top
Info
Contattaci
English
Browse
Persona
Opera
Editori
Soggetto
Persona
Opera
Persona/Opera
Vai a Pubblicazioni
Persona/Ente/Famiglia
Espandi
Riduci
Export / Download
PDF
Excel
Marc21 (binary)
Marc XML
Marc (text)
BIBFRAME 2.0 dataset
SAT (Conference) (16th : 2013 : Helsinki, Finland)
ID:
9159832
Opere
Altre forme del nome
SAT (Conference) (16th : 2013 : Helsinki, Finland)
Seleziona tutte
Deseleziona
Theory and applications of satisfiability testing-- SAT 2013
{ theory and applications of satisfiability testing sat 2013 }
...