Theory and Applications of Satisfiability Testing: 8Th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005 : Proceedings (Lecture notes in computer science, 3569)
- Författare
- Toby Walsh
- Språk
- Okänt
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| uuuu-uuuu | Utgivningsland okänt / Ej specificerat | 978-3-540-31679-4 |