Computer Aided Proofs in Analysis
Saved in:
| Other Authors: | Meyer, Kenneth Ray, 1937- (Collaborator), Schmidt, Dieter S. (Collaborator) |
|---|---|
| Format: | Livre numérique |
| Language: | Anglais |
| Published: |
Cham :
Springer International Publishing
[20..].
Cham : Springer Nature |
| Online Access: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Note: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Computer Aided Proofs in Analysis, 978-1-4613-9094-7 |
Similar Items
-
Computer aided surgery.
(Revue numérique)
Wiley-Liss, 1997 -
Computer-aided design
(Revue numérique)
Elsevier, 1990 -
Computer Aided Verification
(Livre numérique)
Springer Nature, 2021 -
Computer Aided Verification
(Livre numérique)
Springer Nature, 2025 -
Computer Aided Verification
(Livre numérique)
Springer Nature, 2021

