Mechanical Theorem Proving in Geometries

Författare
Wen-tsün Wu
Genre
Electronic books
Språk
Okänt
Förlag År Ort Om boken ISBN
Springer 1994 Utgivningsland okänt / Ej specificerat