Automatic Proofs and Theorems in Analysis Using Non-standard Techniques
Auteur : A. Michael Ballantyne, W. W. Bledsoe
Date de publication : 1975
Éditeur : University of Texas at Austin
Nombre de pages : Non disponible
Résumé du livre
Aucun résumé disponible pour ce livre.