Automated Deduction CADE-15: 15th International Conference on Automated Deduction Lindau, Germany, July 5-10, 1998 Proceedings
- Författare
- Claude Kirchner
- Språk
- Okänt
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| uuuu-uuuu | Utgivningsland okänt / Ej specificerat | 978-3-540-69110-5 |