Selected Papers on Automath

Författare
R.P. Nederpelt
Språk
Engelska
Förlag År Ort Om boken ISBN
Elsevier 1994 Utgivningsland okänt / Ej specificerat