Automated Deduction - CADE-18 electronic resource : 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings / edited by Andrei Voronkov
- Författare
- Denmark) 2002 : (18th International Conference on Automated Deduction Copenhagen
- Språk
- Okänt
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| uuuu-uuuu | Utgivningsland okänt / Ej specificerat |