Proceedings of the Eleventh Workshop on Logical Frameworks and Meta-Languages Theory and Practice
- Författare
- Gilles Dowek
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| ACM | 2016 | Utgivningsland okänt / Ej specificerat, New York NY |
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| ACM | 2016 | Utgivningsland okänt / Ej specificerat, New York NY |