Automated Deduction – CADE 28

Författare
André Platzer
Språk
Engelska
Förlag År Ort Om boken ISBN
Springer International Publishing 2021 Utgivningsland okänt / Ej specificerat