Catalog

Print Record Preview

Catalog Search




Print Now | Return

  1. Bib ID# 36232
    ISBN: 9783540797197
    UPC: 10.1007/978-3-540-79719-7
    Title: Theory and Applications of Satisfiability Testing – SAT 200811th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings /
    Author: Kleine Büning, Hans.
    Publication Info:
    Item Type: Language material

Additional Resources