Computer aided proofs in analysis

other_versions_link
Bibliografiske detaljer
Andre forfattere: Meyer, Kenneth R (Editor)
Format: Printed Book
Udgivet: Springer-Verlag, New York 1990
Fag:
Computer science
Beskrivelse
Ingen beskrivelse tilgængelig.

Lignende værker