Catalog

Print Record Preview

Catalog Search




Print Now | Return

  1. Bib ID# 38941
    ISBN: 9783642141867
    UPC: 10.1007/978-3-642-14186-7
    Title: Theory and Applications of Satisfiability Testing – SAT 201013th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings /
    Author: Strichman, Ofer.
    Publication Info:
    Item Type: Language material

Additional Resources