Meyer, K. R. (1990). Computer aided proofs in analysis.
Chicago Edition CitationMeyer, Kenneth R. Computer Aided Proofs in Analysis. Springer-Verlag, New York, 1990.
Cita MLAMeyer, Kenneth R. Computer Aided Proofs in Analysis. 1990.
Atenció: Aquestes cites poden no estar 100% correctes.