Catalog

Print Record Preview

Catalog Search




Print Now | Return

  1. Bib ID# 34060
    ISBN: 9783540727880
    UPC: 10.1007/978-3-540-72788-0
    Title: Theory and Applications of Satisfiability Testing – SAT 200710th International Conference, Lisbon, Portugal, May 28-31, 2007. Proceedings /
    Author: Marques-Silva, João.
    Publication Info:
    Item Type: Language material

Additional Resources