7th International Conference on Automated Deduction
- Författare
- International Conference on Automated Deduction
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer New York | 1984 | Utgivningsland okänt / Ej specificerat |
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer New York | 1984 | Utgivningsland okänt / Ej specificerat |