Handbook of Automated Reasoning

Författare
Alan J.A. Robinson
Språk
Engelska
Förlag År Ort Om boken ISBN
North-Holland 2001 Utgivningsland okänt / Ej specificerat