Theory and Applications of Satisfiability Testing - SAT 2008, 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings53354Published by Springer

Voir les documents associés 

Exporter

• Export XML
• Export RDF