Automated deduction : CADE-20 : 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005 : proceedings / Robert Nieuwenhuis (ed.)
- Författare
- Estonia) 2005 : (20th International Conference on Automated Deduction Tallinn
- Språk
- Okänt
Förlag | År | Ort | Om boken | ISBN |
---|---|---|---|---|
Springer | uuuu-uuuu | Utgivningsland okänt / Ej specificerat |