Automated Reasoning

Författare
Robert S. Boyer
Språk
Okänt
Förlag År Ort Om boken ISBN
Springer Netherlands 1991 Utgivningsland okänt / Ej specificerat