Computer Science Logic 2017
- Författare
- Sweden Stockholm 2017 August 20–24 CSL 2017 26th EACSL Annual Conference on Computer Science Logic
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Schloss Dagstuhl – Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing | 2017 | Sverige, Saarbrücken/Wadern |