Catalog

Print Record Preview

Catalog Search




Print Now | Return

  1. Bib ID# 18959
    ISBN: 9783540316794
    UPC: 10.1007/b137280
    Title: Theory and Applications of Satisfiability Testing8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings /
    Author: Bacchus, Fahiem.
    Publication Info:
    Item Type: Language material

Additional Resources