On the Extraction of Computational Content from Noneffective Convergence Proofs in Analysis.
Saved in:
| Online Access: |
Full Text (via ProQuest) |
|---|---|
| Main Author: | |
| Format: | eBook |
| Language: | English |
| Published: |
Berlin :
Logos Verlag Berlin,
2014.
|