PakCat catalogue record

Computer Aided Proofs in Analysis

By Meyer, Kenneth R.

Bibliographic details

Additional authors

Schmidt, Dieter S.