Computer aided proofs in analysis
Meyer, Kenneth R,
Computer aided proofs in analysis Kenneth R Meyer - - Springer-Verlag, New York 1990 - - .
Computer science
004 MEY-C
Computer aided proofs in analysis Kenneth R Meyer - - Springer-Verlag, New York 1990 - - .
Computer science
004 MEY-C