Meyer, Kenneth (ed) & Schmidt, Dieter S. (ed)

Computer aided proofs in analysis. - Springer Verlag, 1991. - ( Institute for mathematics and its applications - IMA Volumes ; 28).

  1. Cote: 12014. En rayon: classement par auteur. Exclu du prêt.