Catalog

Print Record Preview

Catalog Search




Print Now | Return

  1. Bib ID# 18372
    ISBN: 9783540315803
    UPC: 10.1007/11527695
    Title: Theory and Applications of Satisfiability Testing7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers /
    Author: Hoos, Holger H.
    Publication Info:
    Item Type: Language material

Additional Resources