skip to main content
Lingue:

Theory and applications of satisfiability testing-SAT 2008 : 11th International conference, SAT 2008 Guangzhou, China, May 12-15, 2008 proceedings

International conference, SAT 2008 <11.; 2008; Guangzhou> ; KLEINE BUNING, Hans ; ZHAO, Xishun

Berlin etc. : Springer, copyr. 2008

Disponibile in Biblioteca Polo Scientifico e Tecnologico  Area Scientifica  39USA_INST:2154542010003316()

Ricerca in corso nelle risorse remote ...