Automated Reasoning

Författare
IJCAR 2004
Språk
Engelska
Förlag År Ort Om boken ISBN
Springer Berlin / Heidelberg 2004 Utgivningsland okänt / Ej specificerat