Automation of Reasoning

Författare
J.; Hayes Encarnaá§ao
Språk
Engelska
Förlag År Ort Om boken ISBN
Springer Berlin Heidelberg 1983 Utgivningsland okänt / Ej specificerat