PakCat catalogue record Computer Aided Proofs in Analysis By Meyer, Kenneth R. Bibliographic details ISBN3540974261 PublisherNew York Publication placeSpringer LanguageEnglish Material typeBook Physical description251 Additional authorsSchmidt, Dieter S.