Theory and applications of satisfiability testing (vol. # 3542) / 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers
Guardat en:
| Autor corporatiu: | |
|---|---|
| Altres autors: | , |
| Format: | eBook |
| Idioma: | English |
| Col·lecció: | Lecture Notes in Computer Science,
3542 |
| Matèries: | |
| Accés en línia: | Click here to view the full text content |
| Etiquetes: |
Afegir etiqueta
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
|
| Descripció física: | 1 online resource (262 pages) digital. |
|---|---|
| ISBN: | 9783540315803 9783540278290 |
| ISSN: | 0302-9743 ; |