Automated Deduction - CADE-17 electronic resource : 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings / edited by David McAllester
- Författare
- Pa.) 2000 : (17th International Conference on Automated Deduction Pittsburgh
- Språk
- Okänt
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| uuuu-uuuu | Utgivningsland okänt / Ej specificerat |