ISSAC '94: Proceedings of the international symposium on Symbolic and algebraic computation

Författare
Malcolm MacCallum
Språk
Okänt
Förlag År Ort Om boken ISBN
ACM uuuu-uuuu Utgivningsland okänt / Ej specificerat