LEADER 00738nam0-22002531i-450- 001 990001321940403321 035 $a000132194 035 $aFED01000132194 035 $a(Aleph)000132194FED01 035 $a000132194 100 $a20000920d1991----km-y0itay50------ba 101 0 $aeng 200 1 $aComputer aided proofs in analysis$eProceedings of the Conference held at the University of Cincinnati in April 1989. 210 $aNew York$cSpringer-Verlag$d1991. 215 $a251 p.$d24 cm 676 $a519.4 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990001321940403321 952 $a121-D-30$b9006$fMA1 959 $aMA1 996 $aComputer aided proofs in analysis$9382980 997 $aUNINA DB $aING01 LEADER 00705nam0-22002771i-450 001 990007535340403321 005 20240529095042.0 035 $a000753534 035 $aFED01000753534 035 $a(Aleph)000753534FED01 035 $a000753534 100 $a20030814d1958----km-y0itay50------ba 101 0 $afre 102 $aFR 200 1 $aTurquie 210 $aParis$cHachette$d1958 215 $aXCIII, 551 p., 3 c. ripieg.$d19 cm 225 1 $a<>guides bleus 610 0 $aTurchia$aGuide 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990007535340403321 952 $aCons.2 Sans. 01(01)$bI.G. 7560$fILFGE 959 $aILFGE 996 $aTurquie$9497146 997 $aUNINA