Logic Programming and Automated Reasoning electronic resource : International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings / edited by Andrei Voronkov
- Författare
- International Conference LPAR '92
- Språk
- Okänt
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| uuuu-uuuu | Utgivningsland okänt / Ej specificerat |