Theory and Applications of Satisfiability Testing - 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings
- Författare
- Fahiem. Bacchus
- (Edited by Fahiem Bacchus, Toby Walsh.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer Berlin Heidelberg | 2005 | Tyskland, Berlin, Heidelberg | ||
| Springer Berlin / Heidelberg | Utgivningsland okänt / Ej specificerat | v.: digital |