Theory and applications of satisfiability testing (vol. # 3542) / 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers
Tallennettuna:
| Yhteisötekijä: | |
|---|---|
| Muut tekijät: | , |
| Aineistotyyppi: | E-kirja |
| Kieli: | English |
| Sarja: | Lecture Notes in Computer Science,
3542 |
| Aiheet: | |
| Linkit: | Click here to view the full text content |
| Tagit: |
Lisää tagi
Ei tageja, Lisää ensimmäinen tagi!
|
Lisää ensimmäinen kommentti!